Group

📁 Source: MathlibTest/Group.lean

Statistics

Metric	Count
Definitions Group, Group	2
Theorems	0
Total	2

CoxeterMatrix

Definitions

Name	Category	Theorems
Group 📖	CompOp	5 math math: CoxeterSystem.reindex_mulEquiv, toCoxeterSystem_simple, reindexGroupEquiv_apply_simple, CoxeterSystem.map_mulEquiv, reindexGroupEquiv_symm_apply_simple

(root)

Definitions

Name	Category	Theorems
Group 📖	CompData	2 math math: CommGroup.toGroup_injective, Group.toDivInvMonoid_injective

---

← Back to Index