Theorem WithCStarModule.norm_equiv_le_norm_prod

Modification history