Def CategoryTheory.Functor.whiskeringRightObjIdIso

Modification history