Search for blocks/addresses/...

Proofgold Object

λ x0 . nat_primrec (4ae4a.. 4a7ef..) (λ x1 . e6316.. x0)
type
ι → ι → ι
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TMZQy..
creator
4786 PrGxv../3fde4..
owner
4786 PrGxv../3fde4..
term root
11cf5..