Proofgold Term Root Disambiguation

∀ x0 . ordinal x0 ⟶ ∀ x1 : ι → ο . SNo_ x0 (PSNo x0 x1)

as obj
-

as prop
ccc82..^SNo_PSNo

theory
HF

stx
8964b..

address
TMRDv..^SNo_PSNo