Proofgold Proposition

∀ x0 . odd_nat x0 ⟶ ∀ x1 . nat_p x1 ⟶ exactly1of2 (odd_nat x1) (odd_nat (add_nat x0 x1))

type
prop

theory
HotG

name
odd_nat_xor_odd_sum

proof
PUWsr..

Megalodon
odd_nat_xor_odd_sum

proofgold address
TMWPa..^{odd_nat_xor_odd_sum}

creator
23950 Pr5Zc../a2cf2..

owner
23950 Pr5Zc../a2cf2..

term root
c2842..