Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-07-30 20:46 a574fbe6

View on Github →

chore(logic/function/basic): make function.injective.decidable_eq protected (#15759)

Estimated changes