Theorem LowerSet.compl_le_compl

Modification history