Theorem compl_eq_iff_is_compl

Modification history