Theorem min_mul_max

Modification history