Def CategoryTheory.whiskeringLeftObjIdIso

Modification history