Theorem Nat.lxor'_eq_zero

Modification history