Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1 ⟶ add_nat x0 (ordsucc (ordsucc x1)) = ordsucc (ordsucc (add_nat x0 x1))
type
prop
theory
HF
name
-
proof
PUaSf..
Megalodon
-
proofgold address
TMF6B..
creator
22364 PrBPC../c0515..
owner
22364 PrBPC../c0515..
term root
b1346..