Theorem CategoryTheory.Functor.whiskeringLeft_obj_comp

Modification history