Buenas tardes! Hace un tiempo tengo la siguiente duda.
Dadas estas hipótesis:
Hay forma de reescribir (he usado la táctica rewrite para reescribir en goals pero no en hipótesis) por ejemplo la hipótesis H3 con "12 = ( x +++ (x0 +++ 12))".
Dado que esa igualdad (11 = (x0 +++ 12)) está en H4, se me ocurre qué podría hacerse.
Yo en estos casos estoy usando cut (12 = ( x +++ (x0 +++ 12))) y luego pruebo esto usando H4. Pero quisiera saber si directamente pueden reescribirse las hipótesis.
Gracias!