Database
BASIC LINEAR ALGEBRA
Vectors and free modules
Independent sets and families
clindf
Next ⟩
clinds
Metamath Proof Explorer
Unicode
Structured
Syntax definition
clindf
Description:
The class relationship of independent families in a module.
Ref
Expression
Assertion
clindf
class LIndF