Commit 2025-11-26 07:51 5d8e98db
View on Github →feat(Analysis): the Sequential Banach-Alaoglu theorem (#31656) Add the sequential Banach-Alaoglu theorem: closed balls of the dual of a separable normed space are sequentially compact in the weak-* topology.