Theorem FormalMultilinearSeries.id_apply_of_one_lt

Modification history