Theorem CategoryTheory.ObjectProperty.retractClosure_le_iff

Modification history

2025-09-21 12:54
Mathlib/CategoryTheory/ObjectProperty/Retract.lean
feat(CategoryTheory): define internally projective objects (#29822) …
Added CategoryTheory.ObjectProperty.retractClosure_le_iffView on Github →