Theorem map_coe_atBot_of_Ioo_subset

Modification history