Theorem FormalMultilinearSeries.radius_smul_eq

Modification history