Proofgold Term Root Disambiguation

∀ x0 x1 . SNo x0 ⟶ nIn (SetAdjoin x1 (Sing 2)) x0

as obj
-

as prop
fb05c..^{ctagged_notin_SNo}

theory
HotG

stx
2fb59..

address
TMLi9..^{ctagged_notin_SNo}