Mathlib v3 is deprecated. Go to Mathlib v4

Def fintype.trunc_encodable

Modification history

2022-04-16 17:33
src/logic/equiv/list.lean
chore(logic/encodable/basic): Rename `encodable` instances (#13396) …
Added fintype.trunc_encodableView on Github →