Theorem CoxeterSystem.ext'

Modification history

2024-04-22 10:39

Mathlib/GroupTheory/Coxeter/Basic.lean

refactor(GroupTheory/Coxeter/Basic): Coxeter groups (#11836) …

Deleted CoxeterSystem.ext'View on Github →

2024-02-07 17:07

Mathlib/GroupTheory/SpecificGroups/Coxeter.lean

feat(GroupTheory/SpecificGroups/Coxeter) : Add Coxeter Systems and Coxeter Groups (#8223) …

Added CoxeterSystem.ext'View on Github →