∫ Утверждение Mathlib
matrix_submatrix
Mathlib.Topology.Instances.Matrix
URI: https://scilib.ai/kg/mathlib#Continuous.matrix_submatrix
∫ Утверждение Mathlib
Mathlib.Topology.Instances.Matrix
URI: https://scilib.ai/kg/mathlib#Continuous.matrix_submatrix