Theorem isUpperSet_empty

Modification history