Theorem IteratedWreathProduct_succ

Modification history

2025-06-16 12:56

Mathlib/GroupTheory/RegularWreathProduct.lean

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

Added IteratedWreathProduct_succ View on Github →