Search for blocks/addresses/...

Proofgold Object

λ x0 . If_i (70c47.. x0) (5ad3b.. x0) (ordsucc (mul_nat 3 x0))
type
ι → ι
theory
HF
name
-
definition
PURiK..
Megalodon
-
proofgold address
TMS2v..
creator
2058 PrGxv../c11c7..
owner
2058 PrGxv../c11c7..
term root
39a81..