Theorem Submodule.cardQuot_apply

Modification history