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,c∈G 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»