Skip to content

feat(QuantumMechanics): sudden frequency change for the QHO#1109

Open
casualPhysics wants to merge 2 commits into
leanprover-community:masterfrom
casualPhysics:ahatta-sudden-frequency-change
Open

feat(QuantumMechanics): sudden frequency change for the QHO#1109
casualPhysics wants to merge 2 commits into
leanprover-community:masterfrom
casualPhysics:ahatta-sudden-frequency-change

Commits

Commits on May 19, 2026