Theorem min_le_min_right

Modification history