∫ Утверждение Mathlib
instSymmetricCategory
Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.Symmetric
URI: https://scilib.ai/kg/mathlib#QuadraticModuleCat.instSymmetricCategory
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.QuadraticForm.QuadraticModuleCat.Symmetric
URI: https://scilib.ai/kg/mathlib#QuadraticModuleCat.instSymmetricCategory