Proofgold Term Root Disambiguation

3 = 4 ⟶ ∀ x0 : ο . x0

as obj
-

as prop
66a37..^neq_3_4

theory
HotG

stx
5ed1a..

address
TMH6x..^neq_3_4