Theorem Subgroup.negOne_mem_adjoinNegOne

Modification history

2026-10-13 19:23
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
feat(NumberTheory/ModularForms): arithmetic subgroup improvements (#43742) …
Deleted Subgroup.negOne_mem_adjoinNegOneView on Github →
2026-02-15 14:33
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
style: fix many leading by's in mathlib (#35343) …
Modified Subgroup.negOne_mem_adjoinNegOneView on Github →
2025-11-28 11:46
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
feat(NumberTheory/ModularForms): adjoin -1 to a subgroup (#30649) …
Added Subgroup.negOne_mem_adjoinNegOneView on Github →