Theorem xor_false

Modification history