feat: introduce findMatchingDecl? for code quality checks in Lean.Linter
#49162
| Job | Run time |
|---|---|
| 4s | |
| 4s |
findMatchingDecl? for code quality checks in Lean.Linter
#49162
| Job | Run time |
|---|---|
| 4s | |
| 4s |