Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ exp_nat x0 (ordsucc x1) = mul_nat x0 (exp_nat x0 x1)

type
prop

theory
HotG

name
-

proof
PUfKL..

Megalodon
exp_nat_S

proofgold address
TMNPE..^exp_nat_S

creator
15546 Pr4zB../0a3ef..

owner
15546 Pr4zB../0a3ef..

term root
e9c4c..