∫ Утверждение Mathlib
add_iff_left
Mathlib.LinearAlgebra.Matrix.Block
URI: https://scilib.ai/kg/mathlib#Matrix.BlockTriangular.add_iff_left
∫ Утверждение Mathlib
Mathlib.LinearAlgebra.Matrix.Block
URI: https://scilib.ai/kg/mathlib#Matrix.BlockTriangular.add_iff_left