Si ab = cd y e = f, entonces a(be) = c(df)

Demostrar con Lean4 que si ab = cd y e = f, entonces a(be) = c(df)

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

Read More «Si ab = cd y e = f, entonces a(be) = c(df)»