Proofgold Term Root Disambiguation

λ x0 . {x1 ∈ prim4 (SNoElts_ x0)|∀ x2 : ο . (∀ x3 . and (x3 ∈ x0) (SNo_ x3 x1) ⟶ x2) ⟶ x2}

as obj
4680c..^SNoS_

as prop
-

theory
HotG

stx
fab7c..

address
TMYei..^SNoS_