Theorem FormalMultilinearSeries.radius_rightInv_pos_of_radius_pos

Modification history