Theorem Set.Ioi_ssubset_Ici_self

Modification history