# Commit 2020-06-29 03:20 d2b46abb

View on Github →chore(category_theory/punit): use discrete punit instead of punit (#3201)
Analogous to #3191 for `punit`

. I also removed some `simp`

lemmas which can be generated instead by `[simps]`

.

Mathlib v3 is deprecated. Go to Mathlib v4

chore(category_theory/punit): use discrete punit instead of punit (#3201)
Analogous to #3191 for `punit`

. I also removed some `simp`

lemmas which can be generated instead by `[simps]`

.