mathlib3
3996bd42 - chore(logic/basic): add a few `simp` lemmas (#5278)

Commit

5 years ago

chore(logic/basic): add a few `simp` lemmas (#5278) Also add `fintype.prod_eq_single`.

Author

urkud

Parents