Theorem FormalMultilinearSeries.applyComposition_update

Modification history