refactor: move ext environment extension to Lean.Meta.Tactic
#6476
| Job | Run time |
|---|---|
| 1s | |
| 1s |
ext environment extension to Lean.Meta.Tactic
#6476
| Job | Run time |
|---|---|
| 1s | |
| 1s |