Theorem Finset.infs_union_right

Modification history