Theorem Set.subset_eq_empty

Modification history