mathlib

d86f1c83 - chore(category/discrete): missing simp lemmas (#3165)

chore(category/discrete): missing simp lemmas (#3165) Some obvious missing `simp` lemmas for `discrete.nat_iso`. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>