P
Initializing...
`BookProof.ChapterA5.coeffBoostZ_sq` (j : Fin 3) : coeffBoostZ j * coeffBoostZ j = 1 · Prove2Me