ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P2912 on R4290: Vector space always has a linearly independent subset
P2912
This result is a particular case of R4289: Vector space always has a basis. $\square$