Proofgold Term Root Disambiguation

∀ x0 . Field x0 ⟶ Field_minus x0 (field4 x0) ∈ field0 x0

as obj
-

as prop
61a82..^{Field_minus_one_In}

theory
HotG

stx
6b5ba..

address
TMHWK..^{Field_minus_one_In}