Theorem Filter.frequently_iff_seq_forall

Modification history

2024-01-08 11:01
Mathlib/Order/Filter/AtTopBot.lean
chore(Filter/AtTopBot): golf (#9521) …
Added Filter.frequently_iff_seq_forallView on Github →