Theorem IsSemiringHom.to_isMonoidHom

Modification history