Mathbox AV: Support, Linear combinations
Mathbox AV: Support, Linear combinations

Definitions and theorems for the support of functions and linear combinations in AV's Mathbox.

metamath/set.mm,metamath/set.mm,metamath/set.mm