Def CategoryTheory.MorphismProperty.Over.mkIdTerminal

Modification history

2024-10-29 22:45

Mathlib/CategoryTheory/Limits/MorphismProperty.lean

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

Added CategoryTheory.MorphismProperty.Over.mkIdTerminal View on Github →