Theorem FormalMultilinearSeries.ofScalars_op

Modification history