Proofgold Term Root Disambiguation

ChurchNum_p (λ x0 : ι → ι . λ x1 . x0 (x0 x1))

as obj
-

as prop
4613e..

theory
HotG

stx
ddad9..

address
TMdBF..