Theorem not_xor

Modification history