Theorem ModularGroup.c_eq_zero

Modification history

2024-10-31 13:42

Mathlib/NumberTheory/Modular.lean

refactor (NumberTheory/ModularForms, Analysis/Complex/UpperHalfPlane) Refactor and clean up coercions (#18385) …

Modified ModularGroup.c_eq_zero View on Github →

2023-06-28 11:45

Mathlib/NumberTheory/Modular.lean

feat: port NumberTheory.Modular (#5540)

Added ModularGroup.c_eq_zero View on Github →