Theorem FormalMultilinearSeries.ofScalars_apply_eq'

Modification history