Theorem FormalMultilinearSeries.leftInv_coeff_one

Modification history