Proofgold Term Root Disambiguation

∀ x0 . e5b72.. (91630.. x0) = prim2 4a7ef.. (91630.. x0)

as obj
-

as prop
04a44..

theory
HoTg

stx
7cde0..

address
TMY4W..