refactor: back rfl tactic primarily via apply_rfl
#21895
| Job | Run time |
|---|---|
| 3s | |
| 13m 16s | |
| 17m 26s | |
| 2s | |
| 0s | |
| 0s | |
| 30m 47s |
rfl tactic primarily via apply_rfl
#21895
| Job | Run time |
|---|---|
| 3s | |
| 13m 16s | |
| 17m 26s | |
| 2s | |
| 0s | |
| 0s | |
| 30m 47s |