∫ Утверждение Mathlib
mod_nat_eq_sub_mul_floor_rat_div
Mathlib.Data.Rat.Floor
URI: https://scilib.ai/kg/mathlib#Int.mod_nat_eq_sub_mul_floor_rat_div
∫ Утверждение Mathlib
Mathlib.Data.Rat.Floor
URI: https://scilib.ai/kg/mathlib#Int.mod_nat_eq_sub_mul_floor_rat_div