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