Proofgold Proposition

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

type
prop

theory
HotG

name
int_lin_comb_E2

proof
PUVXT..

Megalodon
int_lin_comb_E2

proofgold address
TMK5A..^{int_lin_comb_E2}

creator
29757 PrQUS../3c69f..

owner
29757 PrQUS../3c69f..

term root
d61e7..