mathlib3

cde6e632 - feat(analysis/seminorm): removed unnecessary `norm_one_class` arguments (#14614)