Theorem CategoryTheory.OplaxFunctor.mapComp_id_right

Modification history