Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNoLt x0 (SNo_extend1 x0)

as obj
-

as prop
1c8d5..^{SNo_extend1_Gt}

theory
HotG

stx
2cf07..

address
TMPGx..^{SNo_extend1_Gt}