chore: turn defLemma linter into Lean.Linter and rename it to defProp
#42811
The logs for this run have expired and are no longer available.
Loading