... | ... | @@ -32,7 +32,7 @@ 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`.
|
|
|
**TODO:** Always add `Global` or `Local` to `Hint`, `Arguments`, and `Instance`.
|
|
|
|
|
|
### Uncategorized
|
|
|
|
... | ... | |