Theorem WithCStarModule.prod_inner

Modification history