Theorem isComplemented_bot

Modification history