Theorem Finset.set_bunionᵢ_finset_image

Modification history