Proofgold Proposition

∀ x0 x1 x2 . int_lin_comb x0 x1 x2 ⟶ x2 ∈ int

type
prop

theory
HotG

name
int_lin_comb_E3

proof
PUVXT..

Megalodon
int_lin_comb_E3

proofgold address
TMaSz..^{int_lin_comb_E3}

creator
29757 PrQUS../12c64..

owner
29757 PrQUS../12c64..

term root
2d6f4..