feat: add Nat.mod_eq_sub
and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#6160
Loading
Nat.mod_eq_sub
and fix dependencies from Nat.sub_mul_eq_mod_of_lt_of_le
#6160