Proofgold Object

λ x0 . f482f.. (nat_primrec (0fc90.. 48ef8.. (λ x1 . If_i (x1 = 4a7ef..) (4ae4a.. 4a7ef..) 4a7ef..)) (λ x1 x2 . 0fc90.. 48ef8.. (λ x3 . If_i (x3 = 4a7ef..) (4ae4a.. 4a7ef..) (616bf.. (f482f.. x2 (prim3 x3)) (f482f.. x2 x3)))) x0)

type
ι → ι → ι

theory
HoTg

name
-

definition
PUUTm..

Megalodon
-

proofgold address
TMPHk..

creator
4786 PrGxv../f1ba2..

owner
4786 PrGxv../f1ba2..

term root
9c296..