Proofgold Object

λ x0 x1 x2 . binunion x1 {SetAdjoin x3 x0|x3 ∈ x2}

type
ι → ι → ι → ι

theory
HotG

name
pair_tag

definition
PUYQJ..

Megalodon
pair_tag

proofgold address
TMWHu..^pair_tag

creator
28412 PrQUS../675fa..

owner
28412 PrQUS../675fa..

term root
abc4d..