Theorem xor_not_not

Modification history