Mathlib v3 is deprecated. Go to Mathlib v4

Def encodable.fintype_pi

Modification history

2021-06-02 23:53
src/data/equiv/list.lean
chore(data/equiv): add docstrings (#7704) …
Modified encodable.fintype_piView on Github →
2020-08-06 03:47
src/data/equiv/list.lean
chore(*): swap order of [fintype A] [decidable_eq A] (#3705) …
Modified encodable.fintype_piView on Github →
2018-09-21 17:46
data/equiv/list.lean
feat(data/set): add set.pi
Added encodable.fintype_piView on Github →