Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUVGM..

Megalodon
mul_nat_SR

proofgold address
TMUKX..^mul_nat_SR

creator
2277 PrGxv../6c89c..

owner
2277 PrGxv../6c89c..

term root
3defe..