feat: port Mathlib 3's Nat.factors norm_num extension to a simproc
#38504
| Job | Run time |
|---|---|
| 41s | |
| 41s |
Nat.factors norm_num extension to a simproc
#38504
| Job | Run time |
|---|---|
| 41s | |
| 41s |