Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ prim3 x1 ∈ x0

type
ι → ο

theory
HotG

name
Union_closed

definition
PUQdE..

Megalodon
Union_closed

proofgold address
TML28..^Union_closed

creator
4882 Pr6Pc../749f1..

owner
4882 Pr6Pc../749f1..

term root
57561..