Theorem Set.FiniteExhaustion.iUnion_eq

Modification history

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