mathlib

f414fcaa - feat(analysis/analytic/composition): filling small holes in existing API (#5822)

feat(analysis/analytic/composition): filling small holes in existing API (#5822) This PR expands the existing API around the composition of formal multilinear series. Also makes the `finset` argument to `finset.prod_subtype` and `finset.add_subtype` explicit instead of implicit.