Theorem CategoryTheory.HasShift.Induced.zero_inv_app_obj

Modification history