Theorem Subalgebra.rank_toSubmodule

Modification history