Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-08-30 16:14 aa0694a1

View on Github →

fix(data/set/finite): drop {α : Type}, fixes universe issue (#8922)

Estimated changes

Modified src/data/set/finite.lean

modified theorem set.finite.infinite_compl

modified theorem set.infinite_of_finite_compl