Skip to content

refactor(QuantumMechanics): rename SelfAdjoint to Symmetric#1449

Merged
gloges merged 1 commit into
leanprover-community:masterfrom
KrystianNowakowski:rename-onedim-isselfadjoint-to-issymmetric
Jul 21, 2026
Merged

refactor(QuantumMechanics): rename SelfAdjoint to Symmetric#1449
gloges merged 1 commit into
leanprover-community:masterfrom
KrystianNowakowski:rename-onedim-isselfadjoint-to-issymmetric

refactor(QuantumMechanics): rename OneDimension UnboundedOperator.IsS…

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

Annotations

1 warning and 1 notice
Add topic label
succeeded Jul 20, 2026 in 1m 31s