Structure CategoryTheory.RelCat.Hom

Modification history

2025-06-15 11:36
Mathlib/CategoryTheory/Category/RelCat.lean
refactor(RelCat): use a type synonym for homs (#25593) …
Added CategoryTheory.RelCat.HomView on Github →