Proofgold Term Root Disambiguation

150 ∈ ChurchNum_ii_8 ChurchNum2 ordsucc 0

as obj
-

as prop
8cfc8..

theory
HotG

stx
90e2d..

address
TMTo9..