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