Theorem FormalMultilinearSeries.ofScalars_norm_eq_mul

Modification history