Theorem IteratedWreathProduct_zero

Modification history

2025-06-16 12:56

Mathlib/GroupTheory/RegularWreathProduct.lean

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

Added IteratedWreathProduct_zero View on Github →