Theorem exists_Ioo_extr_on_Icc

Modification history