Theorem Nat.lxor'_zero

Modification history