Theorem min_max_distrib_right

Modification history