Proofgold Object

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

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

theory
HoTg

name
canonical_elt

definition
PUM2d..

Megalodon
-

proofgold address
TMM6o..

creator
4654 PrGxv../843b8..

owner
4654 PrGxv../843b8..

term root
24615..