Theorem Subalgebra.finiteDimensional_toSubmodule

Modification history