Commit 2024-11-14 16:44 69b89ee8

View on Github →

feat: glue zero rows/cols to TU matrices (#19019)

Estimated changes

Modified Mathlib/LinearAlgebra/Matrix/Determinant/TotallyUnimodular.lean

added theorem Matrix.fromColumns_col0_isTotallyUnimodular_iff

added theorem Matrix.fromRows_row0_isTotallyUnimodular_iff

deleted theorem Matrix.mapEquiv_IsTotallyUnimodular

added theorem Matrix.mapEquiv_isTotallyUnimodular

added theorem Matrix.transpose_isTotallyUnimodular_iff