Engineering↗
The Irredundant Basis Theorem
Irredundant bases, the failure of the exchange property outside vector spaces, and the theorem that the set of irredundant basis sizes of a finitely generated algebra has no gaps.
Every page in the KEVOS library tagged irredundant basis. 1 page.