Proofgold Term Root Disambiguation

∀ x0 : (ι → ι) → ι → ι . ChurchNum_p x0 ⟶ nat_p (x0 ordsucc 0)

as obj
-

as prop
b26f0..

theory
HotG

stx
ddad9..

address
TMSsj..