Search for blocks/addresses/...

Proofgold Object

nat_primrec (4ae4a.. 4a7ef..) (λ x0 . 14149.. (4ae4a.. x0))
type
ι → ι
theory
HoTg
name
-
definition
PUUTm..
Megalodon
-
proofgold address
TMKGy..
creator
4786 PrGxv../a8c56..
owner
4786 PrGxv../a8c56..
term root
7bc55..