`BookProof.ChapterA4f.boostZ_det` {l : ℂ} (hl : l ≠ 0) : (boostZ l).det = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterA4f.boostZ_det` {l : ℂ} (hl : l ≠ 0) : (boostZ l).det = 1 · Prove2Me