Proofgold Object

λ x0 : ι → ι → ο . λ x1 . prim0 (x0 x1)

type
(ι → ι → ο) → ι → ι

theory
HotG

name
canonical_elt

definition
PURwt..

Megalodon
canonical_elt

proofgold address
TMTEe..^{canonical_elt}

creator
4897 Pr6Pc../652ee..

owner
4897 Pr6Pc../652ee..

term root
24615..