Theorem FormalMultilinearSeries.id_comp'

Modification history