Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0ordsucc x0
type
prop
theory
HotG
name
ordsuccI1
proof
PUL8Q..
Megalodon
ordsuccI1
proofgold address
TMPyy..ordsuccI1
creator
4882 Pr6Pc../a512b..
owner
4882 Pr6Pc../a512b..
term root
5a2f1..