Proofgold Term Root Disambiguation

∀ x0 . In x0 2 ⟶ ∀ x1 . In x1 2 ⟶ ∀ x2 . In x2 2 ⟶ ∀ x3 . In x3 2 ⟶ binop_on 2 (b97a8.. x0 x1 x2 x3)

as obj
-

as prop
be9c9..^{binop_table_on_2}

theory
HF

stx
1efa1..

address
TMLMx..^{binop_table_on_2}