Theorem FormalMultilinearSeries.ofScalars_norm

Modification history