Theorem CategoryTheory.MorphismProperty.Comma.Hom.hom_right

Modification history

2024-10-29 22:45

Mathlib/CategoryTheory/MorphismProperty/Comma.lean

feat(CategoryTheory/Comma): limit properties of subcategories defined by morphism properties (#18134) …

Added CategoryTheory.MorphismProperty.Comma.Hom.hom_right View on Github →