Theorem Matrix.GeneralLinearGroup.isParabolic_conj_iff

Modification history

2026-02-12 11:04
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean
chore(Charpoly/Disc): use `nontriviality` to drop a `Nontrivial` assumption (#35117)
Modified Matrix.GeneralLinearGroup.isParabolic_conj_iffView on Github →
2025-09-13 14:08
Mathlib/LinearAlgebra/Matrix/GeneralLinearGroup/FinTwo.lean
feat(NumberTheory/ModularForms): Cusps of subgroups acting on upper half-plane (#29327) …
Added Matrix.GeneralLinearGroup.isParabolic_conj_iffView on Github →