Commit 2024-05-22 06:25 1c61caba
View on Github →Feat(Algebra/Group/Subgroup/Pointwise): Additive Subgroup.pointwise_smul_def (#13099)
Add additive version of Subgroup.pointwise_smul_def.
Feat(Algebra/Group/Subgroup/Pointwise): Additive Subgroup.pointwise_smul_def (#13099)
Add additive version of Subgroup.pointwise_smul_def.