Theorem CategoryTheory.RelCat.graphFunctor_map

Modification history