Proofgold Term Root Disambiguation

∀ x0 . Field x0 ⟶ Field_minus x0 (field3 x0) = field3 x0

as obj
-

as prop
25e68..^{Field_minus_zero}

theory
HotG

stx
6b5ba..

address
TMNcs..^{Field_minus_zero}