Theorem rank_le_iff_exists_linearMap

Modification history

2026-04-15 23:11

Mathlib/LinearAlgebra/Dimension/Free.lean

feat(Mathlib/LinearAlgebra): embeddings of free modules (#37919) …

Added rank_le_iff_exists_linearMap View on Github →