Theorem WithCStarModule.zero_snd

Modification history