Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-28 03:25 f0ca4338

View on Github →

feat(data/set/finite): finite_or_infinite (#11084)

Estimated changes

Modified src/data/set/finite.lean

added theorem set.finite_or_infinite