Search for blocks/addresses/...

Proofgold Object

λ x0 . nat_primrec (4ae4a.. 4a7ef..) (λ x1 . 14149.. x0)
type
ι → ι → ι
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TMYMs..
creator
4786 PrGxv../4a5a5..
owner
4786 PrGxv../4a5a5..
term root
b5deb..