Theorem Num.lxor_to_nat

Modification history