Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . Subq x0 x2 ⟶ Subq x1 x3 ⟶ Subq (aae7a.. x0 x1) (aae7a.. x2 x3)

as obj
-

as prop
5e53a..

theory
HoTg

stx
3d651..

address
TMYYB..