Theorem WithCStarModule.pi_inner

Modification history