Theorem Set.Ico_inter_Ici

Modification history