Theorem PowerSeries.gaussNorm_C

Modification history