Theorem FormalMultilinearSeries.ofScalars_series_of_subsingleton

Modification history