Theorem Set.Ioi_union_left

Modification history