Theorem WithCStarModule.prod_norm

Modification history