Mathlib Changelog
v4
Changelog
About
Github
Commit
2025-09-17 10:12
425027ff
View on Github →
feat: add isOpen_setOf_affineIndependent (
#23528
) From sphere-eversion.
Estimated changes
Modified
Mathlib/Analysis/Normed/Module/FiniteDimension.lean
added
theorem
isOpen_setOf_affineIndependent