Theorem Subsemiring.prod_mono_right

Modification history