Theorem Submodule.mem_supᵢ_of_chain

Modification history