Skip to content

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

Merged
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
gloges:mulOp-docs
Jul 23, 2026
Merged

docs(quantum-mechanics): add to mulOperator documentation#1460
jstoobysmith merged 4 commits into
leanprover-community:masterfrom
gloges:mulOp-docs

rephrase

0f04f69
Select commit
Loading
Failed to load commit list.
Sign in for the full log view