Theorem Submodule.coe_isComplEquivProj_apply

Modification history