Proofgold Proposition

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

type
prop

theory
HotG

name
mul_nat_SR

proof
PUfQZ..

Megalodon
mul_nat_SR

proofgold address
TMWCj..^mul_nat_SR

creator
4898 Pr6Pc../98bfc..

owner
4898 Pr6Pc../98bfc..

term root
37df5..