Copy-paste into a comment when reviewing a pull request:
Check:
* [ ] coding style
* [ ] for tactics:
* [ ] documentation
* [ ] tests
* [ ] efficiency (make sure at least it's not outrageously inefficient)
* [ ] it fits the overall mathlib design