Theorem Submodule.infᵢ_coe

Modification history