Proofgold Term Root Disambiguation

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

as obj
-

as prop
5252e..

theory
HotG

stx
ddad9..

address
TMKB3..