Def FormalMultilinearSeries.compContinuousLinearMap

Modification history