Theorem CategoryTheory.MorphismProperty.le_coproducts

Modification history

2025-02-09 19:36

Mathlib/CategoryTheory/MorphismProperty/Limits.lean

feat(CategoryTheory/MorphismProperty): more API for limits and retracts (#21596)

Added CategoryTheory.MorphismProperty.le_coproducts View on Github →