3 ms·
The uses of `nlinarith` are very straight forward manipulations of inequalities, they would be one or two steps for a human too.
by sebzim4500 2y ago
The uses of `nlinarith` are very straight forward manipulations of inequalities, they would be one or two steps for a human too.