generalize normalizer_smul - SemanticDiff

Commit

2 years ago

generalize normalizer_smul

References

#8592 - feat(group_theory/group_action/subgroup): Conjugation action on subgroups of a group

Author

YaelDillies

YaelDillies

Parents

Loading