Theorem min_le_min_left

Modification history