Theorem FormalMultilinearSeries.ofScalars_eq_zero_of_scalar_zero

Modification history