Theorem WithCStarModule.map_top_submodule

Modification history