∫ Утверждение Mathlib
instOne
Mathlib.GroupTheory.RegularWreathProduct
URI: https://scilib.ai/kg/mathlib#RegularWreathProduct.instOne
∫ Утверждение Mathlib
Mathlib.GroupTheory.RegularWreathProduct
URI: https://scilib.ai/kg/mathlib#RegularWreathProduct.instOne