Theorem Pairwise.subset_of_bunionᵢ_subset_bunionᵢ

Modification history