`BookProof.ChapterGaugeShiftExample.basisVecL2_ne_zero` (j : ℤ) : basisVecL2 j ≠ 0 · Prove2Me

P

Initializing...

`BookProof.ChapterGaugeShiftExample.basisVecL2_ne_zero` (j : ℤ) : basisVecL2 j ≠ 0 · Prove2Me