Theorem WithCStarModule.norm_single

Modification history