Theorem CategoryTheory.MonoOver.closedUnderLimitsOfShape_isMono

Modification history

2025-10-27 09:15
Mathlib/CategoryTheory/Subobject/MonoOver.lean
refactor(CategoryTheory/ObjectProperty): IsClosedUnderLimitsOfShape (#29881) …
Deleted CategoryTheory.MonoOver.closedUnderLimitsOfShape_isMonoView on Github →
2025-09-26 06:32
Mathlib/CategoryTheory/Subobject/MonoOver.lean
feat(CategoryTheory): Limits in `Subobject X` (#29766) …
Added CategoryTheory.MonoOver.closedUnderLimitsOfShape_isMonoView on Github →