Search for blocks/addresses/...

Proofgold Object

λ x0 x1 . 569d0.. (2f282.. x0) (e6316.. (2f282.. (bc82c.. x0 (f4dc0.. x1))) (2f282.. x1))
type
ι → ι → ι
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TMcp1..
creator
4786 PrGxv../64d78..
owner
4786 PrGxv../64d78..
term root
819ab..