Theorem FormalMultilinearSeries.ofScalars_sum_eq

Modification history