fix: make Lean.Internal.liftCoeM and Lean.Internal.coeM unfold
#96
| Job | Run time |
|---|---|
| 6s | |
| 6s |
Lean.Internal.liftCoeM and Lean.Internal.coeM unfold
#96
| Job | Run time |
|---|---|
| 6s | |
| 6s |