Commit 2026-06-22 06:02 bdf26e40

feat(Topology/Algebra): use Is*Apply for ContinuousMultilinearMap (#40463) We replace manual foo_apply lemmas by using IsFooApply classes. For each foo in zero, one, add, sub, neg, smul` we do the following:

• add an instance IsFooApply
• deprecate coe_foo and foo_apply