Si bc = ef, entonces ((ab)c)d = ((ae)f)d

Demostrar con Lean4 que si bc = ef, entonces ((ab)c)d = ((ae)f)d.

Para ello, completar la siguiente teoría de Lean4:

Read More «Si bc = ef, entonces ((ab)c)d = ((ae)f)d»