Theorem Submodule.finrank_quotient

Modification history