Proofgold Term Root Disambiguation

∀ x0 x1 x2 . reflexive (3897e.. x0 x1 x2)

as obj
-

as prop
bce5d..

theory
HotG

stx
c4834..

address
TMU76..