Def CategoryTheory.shiftFunctorCompIsoId

Modification history