addeqineq:Ajouter une quation  une ingalit
addineq:Ajouter deux ingalits
addnum:Ajouter un nombre aux deux cts d'une ingalit
addterm:Ajouter une expression aux deux cts d'une ingalit
constineq:Introduire une ingalit constante
divexp:Diviser une ingalit par une expression
divnum:Diviser une ingalit par un nombre
exsides:Echanger les deux cts d'une ingalit
lincomb:Addition d'ingalits avec coefficients
mulexp:Multiplier une ingalit par une expression
mulineq:Multiplier deux ingalits
mulnum:Multiplier une ingalit par un nombre
obvineq:Introduire une ingalit vidente
rewrite:Rcrire une ingalit
simpdeduc:Simple dduction d'ingalit
splitineq:Sparer les cas selon une ingalit
sqrpos:Positivit d'un carr
trans:Transitivit des ingalits
