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