Def CategoryTheory.hasShiftMk

Modification history