Commit 2024-02-02 13:15 b75513bf
View on Github →feat: add some consequences of Tychonoff's theorem (#10161) Preliminaries for #6844 The way I prove Ascoli's theorem is by using equicontinuity to reduce it to the case of the product topology, where one can use Tychonoff, hence these variations.