Proofgold Term Root Disambiguation

∀ x0 x1 . ordinal x0 ⟶ In (SetAdjoin x1 (Sing 1)) x0 ⟶ False

as obj
-

as prop
9f8b9..^{tagged_notin_ordinal}

theory
HF

stx
8964b..

address
TMQWG..^{tagged_notin_ordinal}