Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-05-04 23:56 fbce6e4d

View on Github →

fix(data/set/finite): make fintype_seq an instance (#979)

Estimated changes

deleted def set.fintype_seq