Theorem CategoryTheory.FullSubcategory.id_def

Modification history

2023-10-09 18:38
Mathlib/CategoryTheory/FullSubcategory.lean
feat(CategoryTheory/Monoidal/Transport): generalize to a faithful functor (#7237) …
Added CategoryTheory.FullSubcategory.id_defView on Github →