Proofgold Object

λ x0 . unpack_u_i x0 (λ x1 . λ x2 : ι → ι . lam (setprod omega x1) (λ x3 . 1319b.. (ap x3 0) x2 (ap x3 1)))

type
ι → ι

theory
HotG

name
-

definition
PUStC..

Megalodon
-

proofgold address
TMbRB..

creator
35044 PrHS6../b2a7b..

owner
35044 PrHS6../b2a7b..

term root
26678..