Rev 16174 | Rev 18479 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 16174 | Rev 16321 | ||
|---|---|---|---|
| Line 37... | Line 37... | ||
| 37 | integrate/rewrite:Reescribir una integral |
37 | integrate/rewrite:Reescribir una integral |
| 38 | integrate/sincos:Fórmula de integración de sen / cos / sh / ch |
38 | integrate/sincos:Fórmula de integración de sen / cos / sh / ch |
| 39 | prf/cleanhyp:Elimina las suposiciones innecesarias |
39 | prf/cleanhyp:Elimina las suposiciones innecesarias |
| 40 | prf/contrapose:Contraposición |
40 | prf/contrapose:Contraposición |
| 41 | prf/splitgoal:muestra un objetivo por separado (cuando hay varios) |
41 | prf/splitgoal:muestra un objetivo por separado (cuando hay varios) |
| 42 | - | ||