Theorem FormalMultilinearSeries.ofScalars_series_eq_zero_of_scalar_zero

Modification history