Theorem FormalMultilinearSeries.ofScalars_apply_eq

Modification history