Theorem CategoryTheory.ObjectProperty.IsStableUnderRetracts.of_biprod_right

Modification history

2026-03-24 13:52
Mathlib/CategoryTheory/ObjectProperty/Retract.lean
feat(CategoryTheory/ObjectProperty/Retract): Retracts and biproducts/zeros (#37081) …
Added CategoryTheory.ObjectProperty.IsStableUnderRetracts.of_biprod_rightView on Github →