∫ Утверждение Mathlib
three_le_four_mul_im_sq_of_mem_fd
Mathlib.NumberTheory.Modular
URI: https://scilib.ai/kg/mathlib#ModularGroup.three_le_four_mul_im_sq_of_mem_fd
∫ Утверждение Mathlib
Mathlib.NumberTheory.Modular
URI: https://scilib.ai/kg/mathlib#ModularGroup.three_le_four_mul_im_sq_of_mem_fd