Theorem CategoryTheory.ObjectProperty.IsStableUnderRetracts.of_biprod_left

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_leftView on Github →