Proofgold Term Root Disambiguation

∀ x0 . or (x0 = 0) (∀ x1 : ο . (∀ x2 . x2 ∈ x0 ⟶ x1) ⟶ x1)

as obj
-

as prop
16587..^Empty_or_ex

theory
HotG

stx
d4a74..

address
TMN7F..^Empty_or_ex