Hola, quisiera saber si está permitido el uso de táctica apply de manera más "extendida"?
Por ejemplo cuando se tienen hipótesis de:
- conjunción: H: A/\B, y el goal es A (o B)
- sii
- o si se tiene algo de forma: H: A -> B/\C y el goal es B (o C) ?
Gracias y saludos