chore: turn defLemma linter into Lean.Linter and rename it to defProp
#41630
Triggered via pull request
May 25, 2026 09:13
wkrozowski
wkrozowski
synchronize
#13803
Status
Success
Total duration
9s
Artifacts
–