chore: turn defLemma linter into Lean.Linter and rename it to defProp#13803

wkrozowski wants to merge 6 commits into

leanprover:masterleanprover/lean4:masterfrom

wkrozowski:wojciech/builtinEnvLinterwkrozowski/lean4:wojciech/builtinEnvLinterCopy head branch name to clipboard