Theorem Filter.frequently_exists_finset

Modification history

2025-11-13 18:33
Mathlib/Order/Filter/Finite.lean
feat: Add Filter.frequently_exists and Filter.frequently_exists_finite (#31527) …
Added Filter.frequently_exists_finsetView on Github →