Theorem Submodule.coe_prodEquivOfClosedCompl

Modification history