Theorem RingHom.map_mulVec

Modification history