Theorem IsOpen.affineSpan_eq_top

Modification history

2023-06-09 14:00

Mathlib/Analysis/NormedSpace/AddTorsorBases.lean

feat: port Analysis.NormedSpace.AddTorsorBases (#4903)

Added IsOpen.affineSpan_eq_top View on Github →