Def CategoryTheory.shiftEquiv'

Modification history