Theorem FormalMultilinearSeries.leftInv_eq_rightInv

Modification history