invertibleOfInvertibleConjTranspose — Mathlib · SciLib

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

invertibleOfInvertibleConjTranspose

Mathlib.Data.Matrix.Invertible

URI: https://scilib.ai/kg/mathlib#Matrix.invertibleOfInvertibleConjTranspose

← MathLib Explorer