associated_isSymm — Mathlib · SciLib

∫ Утверждение Mathlib

associated_isSymm

Mathlib.LinearAlgebra.QuadraticForm.Basic

URI: https://scilib.ai/kg/mathlib#QuadraticForm.associated_isSymm

← MathLib Explorer