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