Proofgold Object

λ x0 . λ x1 : ι → ι . Sep (prim6 (UPair x0 (famunion x0 (λ x2 . Sing (x1 x2))))) (59caa.. x0 x1)

type
ι → (ι → ι) → ι

theory
HotG

name
-

definition
PUbKm..

Megalodon
-

proofgold address
TMPSm..

creator
11610 PrGxv../84af6..

owner
11610 PrGxv../84af6..

term root
b106b..