Theorem isCompl_compl

Modification history