Theorem Filter.frequently_exists

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_existsView on Github →