Proofgold Term Root Disambiguation

∀ x0 x1 . x1 ∈ Sing x0 ⟶ x1 = x0

as obj
-

as prop
3b0dd..^SingE

theory
HotG

stx
18c18..

address
TMNoM..^SingE