Commit 2024-11-04 15:46 ddff18e6

View on Github →

feat: totally unimodular matrices (#18495)

Estimated changes

Modified Mathlib.lean

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

added theorem Matrix.IsTotallyUnimodular.apply

added theorem Matrix.IsTotallyUnimodular.submatrix

added theorem Matrix.IsTotallyUnimodular.transpose

added def Matrix.IsTotallyUnimodular

added theorem Matrix.isTotallyUnimodular_iff

added theorem Matrix.mapEquiv_IsTotallyUnimodular