chore: turn defLemma linter into Lean.Linter and rename it to defProp
#28934
Triggered via pull request
May 25, 2026 09:13
wkrozowski
wkrozowski
synchronize
#13803
Status
Success
Total duration
7s
Artifacts
–
awaiting-mathlib.yml
on: pull_request_target
check-awaiting-mathlib
4s