Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ι → ο . 4402e.. x0 (λ x2 x3 . not (x1 x2 x3))

as obj
86ec2..

as prop
-

theory
HotG

stx
2925f..

address
TMLpB..