Theorem Submodule.coe_subtypeL

Modification history