Theorem Submodule.coe_subtypeₗᵢ

Modification history