Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-06-25 07:40 d86f1c83

View on Github →

chore(category/discrete): missing simp lemmas (#3165) Some obvious missing simp lemmas for discrete.nat_iso.

Estimated changes