Theorem Set.Ioi_subset_Ici_iff

Modification history