`OAI/LinearAlgebra/MatrixMultiplication/AuxiliarySeparation/Convex/`

31 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ConeSupport.lean 4 declarations
Farkas.lean 2 declarations
FiniteConeClosed.lean 3 declarations
FixedPoint.lean 9 declarations
RationalCone.lean 8 declarations
RationalDenominators.lean 2 declarations
RationalSpan.lean 3 declarations