Theorem FormalMultilinearSeries.comp_coeff_one

Modification history