countable): make `set.countable` protected (#14886)

Commit

3 years ago

refactor(data/set/countable): make `set.countable` protected (#14886) I'm going to add `_root_.countable` typeclass, a data-free version of `encodable`.

Author

urkud

Parents

d8fc588d

mathlib3 12e5f2e0 - refactor(data/set/countable): make `set.countable` protected (#14886)

mathlib3
12e5f2e0 - refactor(data/set/countable): make `set.countable` protected (#14886)