Theorem Filter.frequently_exists_finite

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_finite View on Github →