Theorem RegularWreathProduct.rightHom_comp_inl_eq_id

Modification history

2025-06-16 12:56
Mathlib/GroupTheory/RegularWreathProduct.lean
feat(GroupTheory): add Regular Wreath Product (#24816) …
Added RegularWreathProduct.rightHom_comp_inl_eq_idView on Github →