Theorem Set.Ioi_subset_Ici_self

Modification history