Theorem FormalMultilinearSeries.ofScalars_smul

Modification history