Theorem CategoryTheory.RelCat.Hom.ext

Modification history

2025-07-06 13:16

Mathlib/CategoryTheory/Category/RelCat.lean

refactor: make `Rel` less see-through (#25587) …

Modified CategoryTheory.RelCat.Hom.ext View on Github →

2025-06-15 11:36

Mathlib/CategoryTheory/Category/RelCat.lean

refactor(RelCat): use a type synonym for homs (#25593) …

Added CategoryTheory.RelCat.Hom.ext View on Github →