Theorem intermediate_value_univ

Modification history