Theorem constFormalMultilinearSeries_apply_succ

Modification history