Theorem Int.lxor_bit

Modification history