Theorem FormalMultilinearSeries.leftInv_comp

Modification history