Incomplete list of common tactics in tactic cheatsheet

[hansonchar]

On the Learning Lean 4 page, it says

You can download the tactic cheatsheet (pdf) for a reference of most common tactics.

However, the list in the PDF appears to be incomplete. Notably, several commonly used tactics are missing, including:

• contrapose
• wlog
• generalize

It might be helpful to review and expand the cheatsheet to better reflect the range of tactics frequently encountered in practice.

Thanks for your work on this resource!