Proofgold Term Root Disambiguation

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

as obj
e45ed..^Union_closed

as prop
-

theory
HotG

stx
cde1e..

address
TMGQh..^Union_closed