Theorem FormalMultilinearSeries.comp_rightInv_aux2

Modification history