Theorem eq_compl_iff_is_compl

Modification history