Theorem FormalMultilinearSeries.ofScalars_unop

Modification history