Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ exp_OSNo_nat x0 (ordsucc x1) = mul_OSNo x0 (exp_OSNo_nat x0 x1)
type
prop
theory
HotG
name
exp_OSNo_nat_S
proof
PUdK2..
Megalodon
exp_OSNo_nat_S
proofgold address
TMJbC..exp_OSNo_nat_S
creator
28513 PrQUS../898e3..
owner
28513 PrQUS../898e3..
term root
340b9..