docs(quantum-mechanics): add to mulOperator documentation#1460

jstoobysmith merged 4 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

gloges:mulOp-docsgloges/physlib:mulOp-docsCopy head branch name to clipboard