Theorem WithCStarModule.inner_def

Modification history