chore: turn defLemma linter into Lean.Linter and rename it to defProp
#41687
Triggered via pull request
May 25, 2026 16:06
wkrozowski
wkrozowski
ready_for_review
#13803
Status
Success
Total duration
5s
Artifacts
–