Theorem Submodule.top_coe

Modification history