Theorem Submodule.cardQuot_top

Modification history