Theorem ModularGroup.T_S_rel

Modification history

2024-12-13 07:53
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
feat: representatives for the `FixedDetMatrices` under SL action (#16160) …
Added ModularGroup.T_S_relView on Github →