Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c

Demostrar con Lean4 que si G es un grupo y a,b,cG tales que a·b=a·c, entonces b=c.

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

Read More «Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c»