Mathlib v3 is deprecated. Go to Mathlib v4

Def set.fintype_seq

Modification history

2019-05-04 23:56
src/data/set/finite.lean
fix(data/set/finite): make fintype_seq an instance (#979)
Deleted set.fintype_seqView on Github →
2018-10-09 22:59
data/set/finite.lean
feat(data/set/finite): finiteness of set monad ops
Added set.fintype_seqView on Github →