mathlib3

6a1ce4e8 - feat(analysis/seminorm): add a `zero_hom_class` instance and remove `seminorm.zero` (#14613)