Theorem affineSpan_image_ne_top_of_encard_le_finrank

Modification history

2026-11-10 21:24
Mathlib/LinearAlgebra/AffineSpace/FiniteDimensional.lean
chore(LinearAlgebra): remove unused hypothesis (#45690) …
Modified affineSpan_image_ne_top_of_encard_le_finrankView on Github →
2026-09-11 08:52
Mathlib/LinearAlgebra/AffineSpace/FiniteDimensional.lean
feat(LinearAlgebra/AffineSpace): show small finite families have proper affine span (#43469)
Added affineSpan_image_ne_top_of_encard_le_finrankView on Github →