Theorem FormalMultilinearSeries.compChangeOfVariables_length

Modification history