Theorem Fin.Ioo_eq_finset_subtype

Modification history