Theorem constFormalMultilinearSeries_apply_zero

Modification history