Proofgold Term Root Disambiguation

λ x0 : ο . λ x1 x2 : ι → ι → ο . λ x3 x4 . and (x0 ⟶ x1 x3 x4) (not x0 ⟶ x2 x3 x4)

as obj
a113b..^If_iio

as prop
-

theory
HF

stx
f19eb..

address
TMF8f..^If_iio