Theorem Complex.UpperHalfPlane.int_div_mem_integerComplement

Modification history

2026-01-28 16:26
Mathlib/Analysis/Complex/IntegerCompl.lean
feat(NumberTheory/ModularForms/EisensteinSeries/E2/Transform): E2 under the action of SL2 (#32585) …
Deleted Complex.UpperHalfPlane.int_div_mem_integerComplementView on Github →
2025-12-27 18:03
Mathlib/Analysis/Complex/IntegerCompl.lean
feat(NumberTheory/ModularForms/EisensteinSeries/Summable): add auxiliary E2 lemmas (#32955) …
Added Complex.UpperHalfPlane.int_div_mem_integerComplementView on Github →