Def CategoryTheory.RelCat.opFunctor

Modification history