Lemmas for linarith
. #
Those in the Linarith
namespace should stay here.
Those outside the Linarith
namespace may be deleted as they are ported to mathlib4.
Finds the name of a multiplicative lemma corresponding to an inequality strength.