Theorem FormalMultilinearSeries.mem_compPartialSumTarget_iff

Modification history