feat: add have forms of let_* simp lemmas
#36654
| Job | Run time |
|---|---|
| 5s | |
| 20m 38s | |
| 12m 55s | |
| 3s | |
| 0s | |
| 0s | |
| 33m 41s |
have forms of let_* simp lemmas
#36654
| Job | Run time |
|---|---|
| 5s | |
| 20m 38s | |
| 12m 55s | |
| 3s | |
| 0s | |
| 0s | |
| 33m 41s |