Theorem FormalMultilinearSeries.applyComposition_single

Modification history