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