Theorem Set.Ioo_inter_Ioi

Modification history