Proofgold Proposition

∀ x0 x1 x2 . int_lin_comb x0 x1 x2 ⟶ int_lin_comb x1 x0 x2

type
prop

theory
HotG

name
int_lin_comb_sym

proof
PUVXT..

Megalodon
int_lin_comb_sym

proofgold address
TMJ4o..^{int_lin_comb_sym}

creator
29757 PrQUS../3a0e4..

owner
29757 PrQUS../3a0e4..

term root
78fc6..