Theorem constFormalMultilinearSeries_apply_of_nonzero

Modification history