Theorem Submodule.coe_iSup_of_chain

Modification history