Theorem Set.sUnion_mono_subsets

Modification history