Proofgold Term Root Disambiguation

∀ x0 : ο . ∀ x1 x2 . x0 ⟶ If_i x0 x1 x2 = x1

as obj
-

as prop
0d2f9..^If_i_1

theory
HF

stx
dda19..

address
TMMV4..^If_i_1