Proofgold Term Root Disambiguation

λ x0 : (ι → ι → ι) → (ι → ι → ι) → ι → ι → ι . x0 ChurchBoolTru ChurchBoolTru

as obj
5d5d8..

as prop
-

theory
HotG

stx
7e9c3..

address
TMKPx..