Theorem Nat.zero_lxor'

Modification history