Proofgold Term Root Disambiguation

141 ∈ ChurchNum_ii_8 ChurchNum2 ordsucc 0

as obj
-

as prop
20b75..

theory
HotG

stx
e94e7..

address
TMQJe..