Theorem FormalMultilinearSeries.ofScalarsSum_eq_tsum

Modification history