feat(QuantumMechanics): add algebraic properties for mulOperator#1448

jstoobysmith merged 6 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

gloges:mulOp-algebraicgloges/physlib:mulOp-algebraicCopy head branch name to clipboard