Theorem Finset.bunionᵢ_image_right

Modification history