Skip to content

feat(QuantumMechanics): Fourier conjugate of the momentum operator#1433

Closed
adambornemann-glitch wants to merge 2 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/momentum-fourier-identity
Closed

feat(QuantumMechanics): Fourier conjugate of the momentum operator#1433
adambornemann-glitch wants to merge 2 commits into
leanprover-community:masterfrom
adambornemann-glitch:feat/momentum-fourier-identity

refactor(QuantumMechanics):

53e72b4
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Python based style linter
succeeded Jul 19, 2026 in 16s