Def CategoryTheory.Functor.whiskeringLeftObjCompIso

Modification history