Search for blocks/addresses/...

Proofgold Object

λ x0 x1 x2 . and (and (and (UnaryFuncHom x0 x1 x2) (BinRelnHom x0 x1 x2)) (UnaryPredHom x0 x1 x2)) (PtdSetHom x0 x1 x2)
type
ιιιο
theory
HotG
name
-
definition
PUUEi..
Megalodon
-
proofgold address
TMKh7..
creator
11206 PrCx1../e48f7..
owner
11206 PrCx1../e48f7..
term root
8ed4a..