Proofgold Term Root Disambiguation

51 ∈ ChurchNum_ii_6 ChurchNum2 ordsucc 0

as obj
-

as prop
ac394..

theory
HotG

stx
d506b..

address
TMUyz..