Theorem CategoryTheory.Functor.whiskeringLeft_obj_id

Modification history