Theorem WithCStarModule.norm_equiv_of_inner

Modification history