Theorem FormalMultilinearSeries.compAlongComposition_bound

Modification history