Proofgold Term Root Disambiguation

∀ x0 x1 . Subq x0 x1 ⟶ ∀ x2 : ι → ι . Subq (0fc90.. x0 x2) (0fc90.. x1 x2)

as obj
-

as prop
d3673..

theory
HoTg

stx
e27bb..

address
TMY9y..