Theorem Submodule.coe_scott_continuous

Modification history