Mathlib v3 is deprecated. Go to Mathlib v4

Theorem derive_fintype.finset_above.mem_cons_self

Modification history

2020-08-15 12:43
src/tactic/derive_fintype.lean
feat(tactic/derive_fintype): derive fintype instances (#3772) …
Added derive_fintype.finset_above.mem_cons_selfView on Github →