Theorem Set.prod_mono_left

Modification history