Theorem Subring.prod_mono_left

Modification history