Proofgold Object

λ x0 . nat_primrec x0 (λ x1 . 4ae4a..)

type
ι → ι → ι

theory
HoTg

name
-

definition
PUKrN..

Megalodon
-

proofgold address
TMa8g..

creator
2749 PrGxv../33472..

owner
2749 PrGxv../33472..

term root
d7158..