Proofgold Term Root Disambiguation

λ x0 . ∀ x1 . prim1 x1 x0 ⟶ Subq x1 x0

as obj
2cbe2..

as prop
-

theory
HoTg

stx
c93a1..

address
TMFFk..^TransSet