Proofgold Term Root Disambiguation

∀ x0 x1 . d3786.. x0 x1 = d3786.. x1 x0

as obj
-

as prop
d7325..

theory
HoTg

stx
7cde0..

address
TMJ5b..