Theorem Num.lxor'_to_nat

Modification history