Theorem Set.subset_empty_iff

Modification history