Theorem eq_compl_iff_isCompl

Modification history