Theorem IsSemiringHom.to_isAddMonoidHom

Modification history