Theorem Set.Countable.setOf_finite

Modification history

2024-08-30 13:02

Mathlib/Data/Set/Countable.lean

feat(Set,MeasurableSpace): lemmas about `{s | s.Finite}` (#16195) …

Added Set.Countable.setOf_finite View on Github →