Theorem Set.empty_ssubset_singleton

Modification history