Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . nat_p x1ordsucc (96eca.. x0 x1)x096eca.. x0 (ordsucc x1) = ordsucc (96eca.. x0 x1)
type
prop
theory
HotG
name
-
proof
PUTs8..
Megalodon
-
proofgold address
TMGmX..
creator
29423 Pr5Zc../39c85..
owner
29423 Pr5Zc../39c85..
term root
0b6bf..