Theorem Finset.image₂_union_left

Modification history