Skip to content

feat(OperatorAlgebra): start the operator algebra formalization - #1550

Merged
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
TomOleDiem:operator-algebra-basic
Aug 20, 2026
Merged

feat(OperatorAlgebra): start the operator algebra formalization#1550
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
TomOleDiem:operator-algebra-basic

style(OperatorAlgebra): collapse typeclass args onto one line

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