Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-02 04:59 19483ae3

View on Github →

feat(data/finset): inj on of image card eq (#6785)

Estimated changes