feat(Analysis): use IsApply for GroupSeminorm#41560

mcdoll wants to merge 2 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

mcdoll:IsApplyGroupSeminormmcdoll/mathlib4:IsApplyGroupSeminormCopy head branch name to clipboard