Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . ad280.. (add_SNo (28f8d.. x0) (28f8d.. x1)) (add_SNo (d634d.. x0) (d634d.. x1))
type
ι → ι → ι
theory
HotG
name
-
definition
PUN7o..
Megalodon
-
proofgold address
TMPck..
creator
28161 PrQUS../00e33..
owner
28161 PrQUS../00e33..
term root
2d0b1..