Theorem FormalMultilinearSeries.ofScalarsSum_op

Modification history