Theorem CongruenceSubgroup.IsArithmetic.conj

Modification history

2025-09-25 05:05
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
feat(GroupTheory/Commensurable): additivize (#29707) …
Deleted CongruenceSubgroup.IsArithmetic.conjView on Github →
2025-09-13 14:08
Mathlib/NumberTheory/ModularForms/CongruenceSubgroups.lean
feat(NumberTheory/ModularForms): Cusps of subgroups acting on upper half-plane (#29327) …
Added CongruenceSubgroup.IsArithmetic.conjView on Github →