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 |