Def CategoryTheory.Functor.whiskeringRightObjCompIso

Modification history