feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#21617
| Job | Run time |
|---|---|
| 2s | |
| 14m 6s | |
| 14m 8s |
Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#21617
| Job | Run time |
|---|---|
| 2s | |
| 14m 6s | |
| 14m 8s |