feat: add Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#6390
| Job | Run time |
|---|---|
| 4s | |
| 4s |
Nat.mod_eq_sub and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#6390
| Job | Run time |
|---|---|
| 4s | |
| 4s |