Theorem Set.Ioi_inter_Ioi

Modification history