Structure Set.FiniteExhaustion

Modification history

2025-12-12 15:51
Mathlib/Data/Set/FiniteExhaustion.lean
feat: FiniteExhaustion (#31921) …
Added Set.FiniteExhaustionView on Github →