Theorem FormalMultilinearSeries.ofScalars_apply_zero

Modification history