∫ Утверждение Mathlib
instGetElemProdNatRatAndLtFstSndOfUsableInSimplexAlgorithm
Mathlib.Tactic.Linarith.Oracle.SimplexAlgorithm.Datatypes
URI: https://scilib.ai/kg/mathlib#Mathlib.Tactic.Linarith.SimplexAlgorithm.instGetElemProdNatRatAndLtFstSndOfUsableInSimplexAlgorithm