Theorem Submodule.coe_prodEquivOfClosedCompl_symm

Modification history