Theorem RingHom.mem_range

Modification history