Def CategoryTheory.Functor.whiskeringLeftObjIdIso

Modification history