Theorem isLowerSet_compl

Modification history