Search for blocks/addresses/...

Proofgold Object

λ x0 . λ x1 : ι → ι . ∀ x2 . x2x0SNo (x1 x2)
type
ι(ιι) → ο
theory
HotG
name
SNo_ord_seq
definition
PUfRQ..
Megalodon
SNo_ord_seq
proofgold address
TMNXp..SNo_ord_seq
creator
6761 Pr6Pc../ec272..
owner
6761 Pr6Pc../ec272..
term root
c4320..