Proofgold Proposition

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

type
prop

theory
HF

name
-

proof
PUSS3..

Megalodon
binop_table_on_2

proofgold address
TMWCx..^{binop_table_on_2}

creator
2311 PrGxv../e18f8..

owner
2311 PrGxv../e18f8..

term root
3e1fb..