Theorem continuous_min

Modification history