Theorem WithCStarModule.prod_norm_sq

Modification history