Theorem Submodule.cardQuot_bot

Modification history