Theorem Set.countable_pi

Modification history

2023-08-10 19:52

Mathlib/Data/Set/Countable.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Set.countable_pi View on Github →

2023-01-24 06:27

Mathlib/Data/Set/Countable.lean

Feat: port Data.Set.Countable (#1788)

Added Set.countable_pi View on Github →