Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0omegaSNoLev (eps_ x0) = ordsucc x0
type
prop
theory
HotG
name
SNoLev_eps_
proof
PUVu4..
Megalodon
SNoLev_eps_
proofgold address
TMQsU..SNoLev_eps_
creator
5368 Pr6Pc../34254..
owner
5368 Pr6Pc../34254..
term root
6891e..