Theorem Submodule.infₛ_coe

Modification history