Skip to content

feat(QuantumMechanics/Hydrogen): prove angularMomentum_commutation_lrl - #1509

Merged
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
TomOleDiem:port-angularMomentum-commutation-lrl
Aug 11, 2026
Merged

feat(QuantumMechanics/Hydrogen): prove angularMomentum_commutation_lrl#1509
jstoobysmith merged 2 commits into
leanprover-community:masterfrom
TomOleDiem:port-angularMomentum-commutation-lrl

Remove unneeded 'private' from angularMomentum_commutation_Ldot_p

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

Annotations

1 warning
Lean based style linters
succeeded Aug 11, 2026 in 37m 27s