Proofgold Object

λ x0 x1 x2 . x2 ∈ setexp x1 x0

type
ι → ι → ι → ο

theory
HotG

name
HomSet

definition
PUNFE..

Megalodon
SetHom

proofgold address
TMHvY..^SetHom

creator
9568 PrCx1../3c526..

owner
9568 PrCx1../3c526..

term root
de8fd..