Proofgold Term Root Disambiguation

ChurchNum_p (λ x0 : ι → ι . x0)

as obj
-

as prop
83d4c..

theory
HotG

stx
ddad9..

address
TMZXJ..