Theorem FormalMultilinearSeries.id_apply_ne_one

Modification history