Theorem ModularGroup.S_inv

Modification history

2026-04-06 13:17
Mathlib/LinearAlgebra/Matrix/SpecialLinearGroup.lean
feat(NumberTheory/Modular): strengthen 2nd Fundamental-Domain Lemma (#36736) …
Added ModularGroup.S_invView on Github →