Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-08-10 08:06 d4805efb

View on Github →

feat(logic/equiv/list): add countable instances (#15960)

Estimated changes

Modified src/data/finset/basic.lean

modified theorem finset.val_inj

added theorem finset.val_injective

Modified src/logic/equiv/list.lean