Theorem CategoryTheory.shiftZero'

Modification history