Theorem Set.empty_ssubset

Modification history