Theorem Submodule.coe_inner

Modification history