Proofgold Object

λ x0 . nat_primrec x0 (λ x1 . ordsucc)

type
ι → ι → ι

theory
HotG

name
add_nat

definition
PUfQZ..

Megalodon
add_nat

proofgold address
TMQ7r..^add_nat

creator
4898 Pr6Pc../a6e8c..

owner
4898 Pr6Pc../a6e8c..

term root
afa8a..