Theorem Additive.is_add_submonoid_iff

Modification history