Proofgold Term Root Disambiguation

∀ x0 x1 . 0aea9.. x0 x1 ⟶ 0aea9.. x1 x0

as obj
-

as prop
ebffb..

theory
HotG

stx
0e297..

address
TMadU..