Proofgold Proposition

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

type
prop

theory
HotG

name
int_lin_comb_E1

proof
PUVXT..

Megalodon
int_lin_comb_E1

proofgold address
TMRqM..^{int_lin_comb_E1}

creator
29757 PrQUS../3ca6d..

owner
29757 PrQUS../3ca6d..

term root
8760f..