feat(QuantumMechanics): adjoint of continuous operators#1443

jstoobysmith merged 6 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

gloges:operator-miscgloges/physlib:operator-miscCopy head branch name to clipboard