Namespace

Mathlib.Algebra.Group

npa-mathlib

Packages

2

Module

63

Theorems

750

Declarations

1016

Child namespaces

6

Mathlib.Algebra.Group.Correspondence Mathlib.Algebra.Group.FirstIsomorphism Mathlib.Algebra.Group.Kernel Mathlib.Algebra.Group.Quotient Mathlib.Algebra.Group.SecondIsomorphism Mathlib.Algebra.Group.Subgroup

Direct modules

9

Mathlib.Algebra.Group.Basic Mathlib.Algebra.Group.Correspondence Mathlib.Algebra.Group.FirstIsomorphism Mathlib.Algebra.Group.Image Mathlib.Algebra.Group.Kernel Mathlib.Algebra.Group.Quotient Mathlib.Algebra.Group.SecondIsomorphism Mathlib.Algebra.Group.Subgroup Mathlib.Algebra.Group.ThirdIsomorphism