Theorem CategoryTheory.OplaxFunctor.mapComp_id_left

Modification history