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

Remove density hypothesis from LinearPMap.unitaryConj_adjoint

8cd0f36
Select commit
Loading
Failed to load commit list.
Sign in for the full log view