Theorem Set.FiniteExhaustion.subset_succ

Modification history

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