Theorem iteratedWreathToPermHomInj

Modification history

2025-06-16 12:56

Mathlib/GroupTheory/RegularWreathProduct.lean

feat(GroupTheory): add Regular Wreath Product (#24816) …

Added iteratedWreathToPermHomInj View on Github →