Theorem FormalMultilinearSeries.comp_coeff_zero''

Modification history