`BookProof.ChapterSE2.Nmat_inv` (a b : ℝ) : Nmat a b * Nmat (-a) (-b) = 1 · Prove2Me

P

Initializing...

`BookProof.ChapterSE2.Nmat_inv` (a b : ℝ) : Nmat a b * Nmat (-a) (-b) = 1 · Prove2Me