mathlib

686b3635 - feat(analysis/normed/group/SemiNormedGroup/kernels): add kernels (#9711)