`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_isPhysicalFunction_const` {d : ℤ → ℂ} (hd : IsPhysicalFunction shiftPerm d) (k l : ℤ) : d k = d l

Initializing...

`BookProof.ChapterGaugeUnconstrainedSpectrum.shift_isPhysicalFunction_const` {d : ℤ → ℂ} (hd : IsPhysicalFunction shiftPerm d) (k l : ℤ) : d k = d l · Prove2Me