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
```
