From 3c78d00aee83fd330b29d2f1772e5b15b1172267 Mon Sep 17 00:00:00 2001 From: Joachim Breitner Date: Wed, 16 Feb 2022 17:16:29 +0000 Subject: [PATCH] docs(group_theory/semidirect_product): fix typo in module docs (#12083) --- src/group_theory/semidirect_product.lean | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/group_theory/semidirect_product.lean b/src/group_theory/semidirect_product.lean index 720c550b02df6..107e00fd25396 100644 --- a/src/group_theory/semidirect_product.lean +++ b/src/group_theory/semidirect_product.lean @@ -12,7 +12,7 @@ import group_theory.subgroup.basic This file defines semidirect products of groups, and the canonical maps in and out of the semidirect product. The semidirect product of `N` and `G` given a hom `φ` from -`φ` from `G` to the automorphism group of `N` is the product of sets with the group +`G` to the automorphism group of `N` is the product of sets with the group `⟨n₁, g₁⟩ * ⟨n₂, g₂⟩ = ⟨n₁ * φ g₁ n₂, g₁ * g₂⟩` ## Key definitions