Theorem Nat.lxor_bit

Modification history