Commit 2026-10-06 23:08 0f121da7

feat(Data/FunLike): add abbrevs for pointwise multiplication (#40899) We add abbrevs that provide easy access to instances that involve multiplication as a pointwise operation for FunLike classes. This is for example needed for ZeroAtInftyContinuousMap Moreover, we

• move NatCast instance for Pi to new file Data/Nat/Cast/Pi
• rename IsNatCastApply to IsNatCastApplyEqSMul for the composition variant (same for IntCast)
• add IsNatCast for pointwise multiplication (same for IntCast)
• rename abbrev that apply to composition versions to compSemiring etc