Theorem xor_not_left

Modification history