Theorem Subgroup.relIndex_adjoinNegOne_eq_two

Modification history

2026-10-13 19:23
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
feat(NumberTheory/ModularForms): arithmetic subgroup improvements (#43742) …
Modified Subgroup.relIndex_adjoinNegOne_eq_twoView on Github →
2026-09-22 06:19
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
chore: fix camelCase capitalisation in declaration names (#44050) …
Added Subgroup.relIndex_adjoinNegOne_eq_twoView on Github →