Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . and (ZermeloWO x0 x1) (x0 = x1∀ x2 : ο . x2)
type
ιιο
theory
HoTg
name
ZermeloWOstrict
definition
PUhdM..
Megalodon
-
proofgold address
TMMbR..
creator
2717 PrGxv../7d292..
owner
2717 PrGxv../7d292..
term root
e5853..