Theorem compl_lt_compl_iff_lt

Modification history