Theorem CategoryTheory.RelCat.graphFunctor_map

Modification history

2026-01-01 15:17
Mathlib/CategoryTheory/Category/RelCat.lean
chore: remove June 2025 deprecated declarations (#33429) …
Deleted CategoryTheory.RelCat.graphFunctor_mapView on Github →
2025-06-15 11:36
Mathlib/CategoryTheory/Category/RelCat.lean
refactor(RelCat): use a type synonym for homs (#25593) …
Modified CategoryTheory.RelCat.graphFunctor_mapView on Github →
2024-04-29 12:02
Mathlib/CategoryTheory/Category/RelCat.lean
feat(CategoryTheory/Category/RelCat): Show basic facts and self-duality of category of relations. (#11241) …
Added CategoryTheory.RelCat.graphFunctor_mapView on Github →