Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-22 02:09 f69e8f31

View on Github →

feat(data/finite/defs): add ulift.infinite/plift.infinite (#17655)

Estimated changes

Modified src/data/finite/defs.lean

added theorem equiv.infinite_iff