Theorem Set.infs_union_right

Modification history