Def Ring.forget₂_AddCommGroup_preserves_limits_aux

Modification history