Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ Subq (472ec.. x0) (472ec.. x1)

as obj
-

as prop
e52f8..

theory
HoTg

stx
38a69..

address
TMGnM..