Theorem isComplemented_top

Modification history