Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ exp_CSNo_nat x0 (ordsucc x1) = mul_CSNo x0 (exp_CSNo_nat x0 x1)
type
prop
theory
HotG
name
exp_CSNo_nat_S
proof
PUQvq..
Megalodon
exp_CSNo_nat_S
proofgold address
TMGTJ..exp_CSNo_nat_S
creator
28444 PrQUS../dc566..
owner
28444 PrQUS../dc566..
term root
cc896..