Theorem continuous_max

Modification history