chore: turn defLemma linter into Lean.Linter and rename it to defProp
#8552
| Job | Run time |
|---|---|
| 5s | |
| 5s |
defLemma linter into Lean.Linter and rename it to defProp
#8552
| Job | Run time |
|---|---|
| 5s | |
| 5s |