Def FormalMultilinearSeries.ofScalars

Modification history