Theorem Subalgebra.finrank_toSubmodule

Modification history