Theorem Subsemiring.prod_mono_left

Modification history