Skip to content

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

Merged
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
gloges:mulOp-algebraic
Jul 21, 2026
Merged

feat(QuantumMechanics): add algebraic properties for mulOperator#1448
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
gloges:mulOp-algebraic

simp tags

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

Annotations

1 warning
Lean based style linters
succeeded Jul 21, 2026 in 7m 42s