Skip to content

feat(QuantumMechanics): derivative operators via Fourier-conjugated m…#1454

Open
adambornemann-glitch wants to merge 2 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/deriv-operator
Open

feat(QuantumMechanics): derivative operators via Fourier-conjugated m…#1454
adambornemann-glitch wants to merge 2 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/deriv-operator

Commits

Commits on Jul 21, 2026

Commits on Jul 22, 2026