Theorem Finset.bunionᵢ_subset_iff_forall_subset

Modification history