Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι → ο . 2bc70.. x0 (λ x2 x3 . not (x1 x2 x3))

as obj
cf2df..

as prop
-

theory
HotG

stx
6aab1..

address
TMR1B..