Theorem isUpperSet_compl

Modification history