`OAI/Analysis/MatrixScaling/`

158 declarations, 0 contain sorry, 0 declared as axioms; 10 files

Files

Bounds.lean 22 declarations
Canonical.lean 19 declarations
Continuous.lean 10 declarations
Critical.lean 13 declarations
Determinant.lean 28 declarations
Expansion.lean 14 declarations
Geodesic.lean 10 declarations
Gram.lean 15 declarations
Minimizer.lean 6 declarations
Spectrum.lean 21 declarations