Theorem intermediate_value_univ₂

Modification history