Theorem Con.ext'_iff

Modification history

2023-11-27 09:11

Mathlib/GroupTheory/Congruence.lean

chore(GroupTheory/Congruence): small cleanups (#8314) …

Deleted Con.ext'_iff View on Github →

2023-01-17 13:16

Mathlib/GroupTheory/Congruence.lean

feat: port GroupTheory/Congruence (#1316) …

Added Con.ext'_iff View on Github →