Proofgold Term Root Disambiguation

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

as obj
-

as prop
ea5fd..^{SNo_extend0_Lt}

theory
HotG

stx
2cf07..

address
TMLC6..^{SNo_extend0_Lt}