Theorem Matrix.IsTotallyUnimodular.apply

Modification history

2024-11-28 13:23

Mathlib/LinearAlgebra/Matrix/Determinant/TotallyUnimodular.lean

feat: adjoining identity matrices to TU matrices (#19076)

Modified Matrix.IsTotallyUnimodular.apply View on Github →

2024-11-04 15:46

Mathlib/LinearAlgebra/Matrix/Determinant/TotallyUnimodular.lean

feat: totally unimodular matrices (#18495)

Added Matrix.IsTotallyUnimodular.apply View on Github →