Theorem Set.Ici_inter_Iic

Modification history