Theorem Submodule.mem_supᵢ

Modification history