Theorem WithCStarModule.inner_single_left

Modification history