Theorem xor_iff_not_iff'

Modification history