Subversion Repositories wimsdev

eq/addnum:Añadir un número a ambos lados de una ecuación
eq/addterm:Añadir una expresión a ambos lados de una ecuación
eq/divnum:Dividir una ecuación por un número
eq/exsides:Intercambiar ambos lados de una ecuación
eq/lincomb:Suma de ecuaciones con coeficientes
eq/mulnum:Multiplicar una ecuación por un número
eq/rewrite:Reescribe una ecuación
eq/spliteq:Separar casos según una (in)ecuación
exp/rewrite:Reescribir una expresión
exp/substit:
exp/substitg:Sustitución en una expresión
ineq/addeqineq:Añadir una ecuación a una desigualdad
ineq/addineq:Sumar dos desigualdades
ineq/addnum:Sumar un número a ambos lados de una desigualdad
ineq/addterm:Añadir una expresión a ambos lados de una desigualdad
ineq/constineq:Introducir una desigualdad constante
ineq/divexp:Dividir una desigualdad por una expresión
ineq/divnum:Dividir una desigualdad por un número
ineq/exsides:Intercambiar los dos lados de una desigualdad
ineq/lincomb:Suma de desigualdades con coeficientes
ineq/mulexp:Multiplicar una desigualdad por una expresión
ineq/mulineq:Multiplicar dos desigualdades
ineq/mulnum:Multiplicar una desigualdad por un número
ineq/obvineq:Introducir desigualdad obvia
ineq/rewrite:Reescribir una desigualdad
ineq/simpdeduc:Simple deducción de desigualdad
ineq/splitineq:Separar los casos según una desigualdad
ineq/sqrpos:Positividad de un cuadrado
ineq/trans:Transitividad de desigualdades
integrate/basic:Fórmula básica de integración
integrate/basic0:Fórmula básica de integración
integrate/byparts:Integración por partes
integrate/chvar:Changement de variable direct
integrate/chvarinv:Cambio inverso de variable
integrate/const:Integración de una constante
integrate/cut:Dividir una integración en dos
integrate/rewrite:Reescribir una integral
integrate/sincos:Fórmula de integración de sen/cos/sh/ch
prf/cleanhyp:Borrar suposiciones innecesarias
prf/contrapose:Contraposición
prf/splitgoal:Mostrar un objetivo por separado (cuando hay varios)