Category:Size of Linearly Independent Subset is at Most Size of Finite Generator

From ProofWiki
Jump to navigation Jump to search