Theorem CategoryTheory.HasShift.shift_obj_obj

Modification history