Theorem ModularGroup.S_mul_S_eq

Modification history

2024-10-28 15:32
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
feat: matrices with fixed determinant (#16159) …
Added ModularGroup.S_mul_S_eqView on Github →