Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ 69aae.. x0 (ordsucc x1) = mul_nat x0 (69aae.. x0 x1)

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
exp_nat_S

proofgold address
TMKpP..^exp_nat_S

creator
2277 PrGxv../08a56..

owner
2277 PrGxv../08a56..

term root
adc51..