Theorem Matrix.discr_of_card_eq_two

Modification history

2025-10-20 10:08
Mathlib/LinearAlgebra/Matrix/Charpoly/Disc.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Added Matrix.discr_of_card_eq_twoView on Github →