Proofgold Term Root Disambiguation

λ x0 . λ x1 : ι → ο . λ x2 . λ x3 : ι → ο . and (x2 ∈ x0) (PNoLt x2 x3 x0 x1)

as obj
5c235..^PNoCutL

as prop
-

theory
HotG

stx
9543e..

address
TMW89..^PNoCutL