Theorem CategoryTheory.Grpd.id_eq_id

Modification history

2025-09-27 11:48
Mathlib/CategoryTheory/Category/Grpd.lean
chore: tidy various files (#29841)
Modified CategoryTheory.Grpd.id_eq_idView on Github →
2025-09-17 09:25
Mathlib/CategoryTheory/Category/Grpd.lean
chore: rename hom_to_functor, id_to_functor (#29250) …
Added CategoryTheory.Grpd.id_eq_idView on Github →