Theorem FormalMultilinearSeries.ofScalars_series_eq_iff

Modification history