∀ a b c ∈ ℝ, a(bc) = b(ac)

Demostrar con Lean4 que ∀ a b c ∈ ℝ, a * (b * c) = b * (a * c)

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

Read More «∀ a b c ∈ ℝ, a(bc) = b(ac)»