Theorem CategoryTheory.RelCat.unopFunctor_comp_opFunctor_eq

Modification history