Theorem Submodule.angle_coe

Modification history