Structure HNNExtension.NormalWord.ReducedWord

Modification history

2024-10-09 08:43

Mathlib/GroupTheory/HNNExtension.lean

chore: adaptations for lean4#5542 (#17564) …

Modified HNNExtension.NormalWord.ReducedWord View on Github →

2023-09-14 10:14

Mathlib/GroupTheory/HNNExtension.lean

feat: HNN extensions and Britton's lemma (#6923)

Added HNNExtension.NormalWord.ReducedWord View on Github →