Proofgold Term Root Disambiguation

62 ∈ ChurchNum_ii_6 ChurchNum2 ordsucc 0

as obj
-

as prop
a1a2d..

theory
HotG

stx
d506b..

address
TMLa8..