Proofgold Term Root Disambiguation

λ x0 x1 . not (Subq x0 x1)

as obj
0e41b..

as prop
-

theory
HoTg

stx
ee211..

address
TMZtJ..^nSubq