∫ Утверждение Mathlib
_aux_Mathlib_NumberTheory_SiegelsLemma___macroRules__private_Mathlib_NumberTheory_SiegelsLemma_0_Int_Matrix_termN_1_1
Mathlib.NumberTheory.SiegelsLemma
URI: https://scilib.ai/kg/mathlib#Int.Matrix._aux_Mathlib_NumberTheory_SiegelsLemma___macroRules__private_Mathlib_NumberTheory_SiegelsLemma_0_Int_Matrix_termN_1_1