Theorem RingHom.map_closureS

Modification history