Proofgold Object

nat_primrec_iii (λ x0 x1 . 0) (λ x0 . λ x1 : ι → ι → ι . λ x2 x3 . b38a5.. (ap x2 0) (ap x3 0) (x1 (stream_rest x2) (stream_rest x3)))

type
ι → ι → ι → ι

theory
HotG

name
-

definition
PUZC8..

Megalodon
-

proofgold address
TMSAP..

creator
6992 Pr6Pc../be1e3..

owner
6992 Pr6Pc../be1e3..

term root
fcdb5..