Namespace

Mathlib.Algebra.Group

npa-mathlib

Packages

2

Module

63

Theorem

750

Declarations

1016

子 namespace

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

直下の module

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