Mathlib v3 is deprecated. Go to Mathlib v4

Def con.pi

Modification history

2019-11-18 12:21

src/group_theory/congruence.lean

feat(group_theory/congruence): create file about congruence relations (#1690) …

Added con.pi View on Github →