Skip to content

feat(QuantumMechanics): adjoint of continuous operators#1443

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

feat(QuantumMechanics): adjoint of continuous operators#1443
jstoobysmith merged 6 commits into
leanprover-community:masterfrom
gloges:operator-misc

Merge remote-tracking branch 'upstream/master' into pr/1443

02269dd
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 36m 21s