Theorem Set.Ioi_inter_Ioo

Modification history