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

adambornemann-glitch wants to merge 2 commits into

leanprover-community:masterleanprover-community/physlib:masterfrom

adambornemann-glitch:feat/momentum-fourier-identityadambornemann-glitch/physlib:feat/momentum-fourier-identityCopy head branch name to clipboard