Hola Juilián.
Ok entonces. No es necesario solo usar esas tácticas.
Para probar un "/\" sugiero hacer split y probar cada subgoal. SI fuere en una línea: split; [ t1 | t2 ].
Saludos, Carlos
Hola Juilián.
Ok entonces. No es necesario solo usar esas tácticas.
Para probar un "/\" sugiero hacer split y probar cada subgoal. SI fuere en una línea: split; [ t1 | t2 ].
Saludos, Carlos