Theorem Set.Iic_union_Ioi_of_le

Modification history