mathlib

8decd4b1 - chore(logic/encodable/basic): Rename `encodable` instances (#13396)

chore(logic/encodable/basic): Rename `encodable` instances (#13396) The instances were called `encodable.foo` instead of `foo.encodable` as the naming convention preconizes.