Proofgold Term Root Disambiguation

∀ x0 x1 . In x1 (Sing x0) ⟶ (x1 = x0 ⟶ False) ⟶ False

as obj
-

as prop
5d18f..^tab_pos_Sing

theory
HF

stx
dda19..

address
TMNqs..^tab_pos_Sing