`BookProof.ShiftedQuadratic.minkowskiCoeff_ne_zero` (n : ℕ) (i : Fin (1 + n)) : minkowskiCoeff n i ≠ 0

Initializing...

`BookProof.ShiftedQuadratic.minkowskiCoeff_ne_zero` (n : ℕ) (i : Fin (1 + n)) : minkowskiCoeff n i ≠ 0 · Prove2Me