Proofgold Term Root Disambiguation

∀ x0 . Subq (23e07.. x0) (56ded.. (e4431.. x0))

as obj
-

as prop
e1ffe..

theory
HoTg

stx
ab965..

address
TMVV8..