Theorem CategoryTheory.ObjectProperty.strictLimitsClosureIter_le_limitsClosure

Modification history

2025-10-29 00:03
Mathlib/CategoryTheory/ObjectProperty/LimitsClosure.lean
feat(CategoryTheory/ObjectProperty): closure of a property under certain limits (#29854) …
Added CategoryTheory.ObjectProperty.strictLimitsClosureIter_le_limitsClosureView on Github →