Mathlib v3 is deprecated. Go to Mathlib v4

Def modular_group.fd

Modification history

2022-04-21 23:36

src/number_theory/modular.lean

feat(number_theory/modular): fundamental domain part 2 (#8985) …

Added modular_group.fd View on Github →