Theorem Nat.lxor'_ne_zero

Modification history