Def Matrix.IsParabolic

Modification history

2025-10-20 10:08
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean
chore: change `disc` to `discr` to denote the discriminant (#30709) …
Modified Matrix.IsParabolicView on Github →
2025-09-03 18:14
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean
feat(Compactification/OnePoint): classify GL2 elements by fixed points (#28552) …
Added Matrix.IsParabolicView on Github →