feat(Analysis): use IsApply for ContDiffMapSupportedIn#40607

mcdoll wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

mcdoll:IsApplyCDSImcdoll/mathlib4:IsApplyCDSICopy head branch name to clipboard