Theorem Finset.infs_union_left

Modification history