Theorem Matrix.IsTotallyUnimodular.reindex

Modification history

2024-11-28 13:23

Mathlib/LinearAlgebra/Matrix/Determinant/TotallyUnimodular.lean

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

Added Matrix.IsTotallyUnimodular.reindex View on Github →