Theorem Set.eq_empty_of_subset_empty

Modification history