... | ... | @@ -32,6 +32,8 @@ Use `Context`, never `Variable` |
|
|
Use `Lemma`, not `Theorem` (or the other variants: `Fact`, `Corollary`,
|
|
|
`Remark`)
|
|
|
|
|
|
**TODO:** Always add `Global` or `Local` to `Hint` and `Instance`.
|
|
|
|
|
|
### Uncategorized
|
|
|
|
|
|
Indent the body of a match by one space:
|
... | ... | |