Documentation
Atlas
.
CombinatorialOptimization
.
code
.
TotallyUnimodular
Search
return to top
source
Imports
Init
Mathlib
Imported by
Matrix
.
TotallyUnimodular
source
def
Matrix
.
TotallyUnimodular
{
m
:
Type
u_1}
{
n
:
Type
u_2}
(
A
:
Matrix
m
n
ℤ
)
:
Prop
Instances For