Theorem ModularGroup.ρ_mem_fd

Modification history

2026-04-06 13:17

Mathlib/NumberTheory/Modular.lean

feat(NumberTheory/Modular): strengthen 2nd Fundamental-Domain Lemma (#36736) …

Added ModularGroup.ρ_mem_fd View on Github →