Theorem Submodule.coe_prodEquivOfIsCompl'

Modification history