Theorem Submodule.subtypeₗᵢ_toLinearMap

Modification history