transpose_isTotallyUnimodular_iff

English

A matrix is totally unimodular if and only if its transpose is totally unimodular.

Русский

Матрица тотально унимодулярна тогда и только тогда, когда её транспонированная матрица тоже тотально унимодулярна.

LaTeX

$$A^T.IsTotallyUnimodular \\leftrightarrow A.IsTotallyUnimodular$$

Lean4

theorem transpose_isTotallyUnimodular_iff (A : Matrix m n R) : Aᵀ.IsTotallyUnimodular ↔ A.IsTotallyUnimodular := by
  constructor <;> apply IsTotallyUnimodular.transpose

Похожие утверждения