Theorem Module.Basis.finiteDimensional_of_finite

Modification history

2025-11-14 14:18
Mathlib/LinearAlgebra/FiniteDimensional/Defs.lean
chore: rename FiniteDimensional.of_fintype_basis (#31543) …
Added Module.Basis.finiteDimensional_of_finiteView on Github →