Proofgold Term Root Disambiguation

∀ x0 . or (x0 = 0) (∃ x1 . x1 ∈ x0)

as obj
-

as prop
16587..^Empty_or_ex

theory
HotG

stx
d4a74..

address
TMN7F..^Empty_or_ex