Theorem UpperSet.compl_le_compl

Modification history