Structure Mathlib.Tactic.Linarith.SimplexAlgorithm.DenseMatrix

Modification history