Si G es un grupo y a, b ∈ G, entonces (a * b)⁻¹ = b⁻¹ * a⁻¹
Demostrar que si G es un grupo y a, b ∈ G, entonces
|
1 |
(a * b)⁻¹ = b⁻¹ * a⁻¹ |
Para ello, completar la siguiente teoría de Lean:
|
1 2 3 4 5 6 |
import algebra.group variables {G : Type*} [group G] variables a b : G example : (a * b)⁻¹ = b⁻¹ * a⁻¹ := sorry |
Read More «Si G es un grupo y a, b ∈ G, entonces (a * b)⁻¹ = b⁻¹ * a⁻¹»