Proofgold Term Root Disambiguation

exp_nat 2 5 = ChurchNum_ii_5 ChurchNum2 ordsucc 0

as obj
-

as prop
85ed8..

theory
HotG

stx
0cb0d..

address
TMMhb..