Proofgold Term Root Disambiguation

6fb7f.. ChurchBoolFal

as obj
-

as prop
9e259..

theory
HotG

stx
7e9c3..

address
TMdc5..