Details | Last modification | View Log | RSS feed
Rev | Author | Line No. | Line |
---|---|---|---|
20 | reyssat | 1 | addnum:Add a number to the two sides of an equation |
2 | addterm:Add an expression to the two sides of an equation |
||
3 | divnum:Divisde an equation by a number |
||
4 | exsides:Exchange the two sides of an equation |
||
5 | lincomb:Addition of equations with coefficients |
||
6 | mulnum:Multiply an equation by a number |
||
7 | rewrite:Rewrite an equation |
||
8 | spliteq:Separate the cases according to an (in)equation |