Theorem Con.coe_inj

Modification history

2024-01-17 23:23

Mathlib/GroupTheory/Congruence.lean

chore(*): rename `FunLike` to `DFunLike` (#9785) …

Modified Con.coe_inj View on Github →

2023-11-27 09:11

Mathlib/GroupTheory/Congruence.lean

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

Added Con.coe_inj View on Github →