[Merged by Bors] - chore(Analysis/Analytic): tag ofScalars_norm_eq_mul with simp#37635

vasnesterov wants to merge 1 commit intoleanprover-community:masterleanprover-community/mathlib4:masterfrom

vasnesterov:ofScalars_norm_eq_mul_simpvasnesterov/mathlib4:ofScalars_norm_eq_mul_simpCopy head branch name to clipboard