Theorem Function.graph_inj

Modification history

2024-04-29 12:02
Mathlib/Data/Rel.lean
feat(CategoryTheory/Category/RelCat): Show basic facts and self-duality of category of relations. (#11241) …
Added Function.graph_injView on Github →