Proofgold Term Root Disambiguation

λ x0 : ι → ι → ι . x0 = ChurchBoolFal

as obj
6fb7f..

as prop
-

theory
HotG

stx
7e9c3..

address
TMMJt..