Top Answers

1. How can I apply a rewrite to only one term?
   2 votes
2. Apply function in goal in lean proof
   2 votes
3. How to do cases on a function between finite types?
   1 votes