Theorem Subgroup.neg_one_mem_adjoinNegOne

Modification history

2026-10-13 19:23
Mathlib/NumberTheory/ModularForms/ArithmeticSubgroups.lean
feat(NumberTheory/ModularForms): arithmetic subgroup improvements (#43742) …
Added Subgroup.neg_one_mem_adjoinNegOneView on Github →