Skip to main content

All Questions

Tagged with
7 votes
2 answers
163 views

When is the lean 4 "by" required?

I am reading an introductory math/lean course here, and got confused about when the tactic/keyword by is required. It is used most of the time, but is occasionally ...
tinlyx's user avatar
  • 2,220