Theorem WithCStarModule.inner_single_right

Modification history