Theorem FormalMultilinearSeries.id_apply_zero

Modification history