YODA: Un asistente para derivaciones en FORM
A probar:
...
⊢
...
...
...
InCo - Uruguay - 2013