Theorem Finset.bunionᵢ_image_sup_left

Modification history