Theorem Basis.card_le_card_of_submodule

Modification history