Theorem FormalMultilinearSeries.id_apply_one

Modification history