Theorem Matrix.GeneralLinearGroup.isParabolic_conj_iff'

Modification history

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_iff'View on Github →