Theorem formalMultilinearSeries_geometric_eq_ofScalars

Modification history