Theorem intermediate_value_univ₂_eventually₂

Modification history