Theorem WithCStarModule.max_le_prod_norm

Modification history