Theorem RingHom.map_det

Modification history