Theorem CategoryTheory.HomRel.CompClosure.of

Modification history

2026-01-12 11:29

Mathlib/CategoryTheory/Quotient.lean

feat(CategoryTheory): MorphismProperty induced on a quotient category (#33084) …

Added CategoryTheory.HomRel.CompClosure.of View on Github →