命名空间

Mathlib.Algebra.Group

npa-mathlib

包

2

模块

63

定理

750

声明

1016

子命名空间

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

直属模块

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