chore: turn defLemma linter into Lean.Linter and rename it to defProp
#13803
background
wait
wait-all
cancel
Loading