Commit 2024-01-08 11:01 f5eb4a83
View on Github →chore(Filter/AtTopBot): golf (#9521)
Golf lemmas about sequential convergence and related concepts.
Also add Filter.frequently_iff_seq_forall
.
chore(Filter/AtTopBot): golf (#9521)
Golf lemmas about sequential convergence and related concepts.
Also add Filter.frequently_iff_seq_forall
.