Def CommRing.forget₂_CommSemiRing_preserves_limits_aux

Modification history