Proofgold Term Root Disambiguation

∀ x0 . SNo_pair x0 0 = x0

as obj
-

as prop
fe382..^SNo_pair_0

theory
HotG

stx
2fb59..

address
TMLie..^SNo_pair_0