Theorem ModularGroup.S_mul_S_eq

Modification history

2024-10-31 13:42
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
refactor (NumberTheory/ModularForms, Analysis/Complex/UpperHalfPlane) Refactor and clean up coercions (#18385) …
Modified ModularGroup.S_mul_S_eqView on Github →
2024-10-28 15:32
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
feat: matrices with fixed determinant (#16159) …
Added ModularGroup.S_mul_S_eqView on Github →