Proofgold Proposition

∀ x0 . nat_p x0 ⟶ exp_nat 2 (ordsucc x0) = add_nat (exp_nat 2 x0) (exp_nat 2 x0)

type
prop

theory
HotG

name
-

proof
PUfKL..

Megalodon
-

proofgold address
TMYi1..

creator
15546 Pr4zB../54a5c..

owner
15546 Pr4zB../54a5c..

term root
9282c..