Theorem derivedSeries_normal

Modification history