Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.FullSubcategory.comp_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.comp_def
View on Github →