Theorem FormalMultilinearSeries.id_apply_one'

Modification history