Proofgold Term Root Disambiguation

λ x0 x1 x2 . PNoEq_ x0 (λ x3 . prim1 x3 x1) (λ x3 . prim1 x3 x2)

as obj
f11e9..

as prop
-

theory
HoTg

stx
38a69..

address
TMHgy..^SNoEq_