Blame | Last modification | View Log | RSS feed
addeqineq:Ajouter une équation à une inégalité
addineq:Ajouter deux inégalités
addnum:Ajouter un nombre aux deux côtés d'une inégalité
addterm:Ajouter une expression aux deux côtés d'une inégalité
constineq:Introduire une inégalité constante
divexp:Diviser une inégalité par une expression
divnum:Diviser une inégalité par un nombre
exsides:Echanger les deux côtés d'une inégalité
lincomb:Addition d'inégalités avec coefficients
mulexp:Multiplier une inégalité par une expression
mulineq:Multiplier deux inégalités
mulnum:Multiplier une inégalité par un nombre
obvineq:Introduire une inégalité évidente
rewrite:Réécrire une inégalité
simpdeduc:Simple déduction d'inégalité
splitineq:Séparer les cas selon une inégalité
sqrpos:Positivité d'un carré
trans:Transitivité des inégalités