Theorem RingHom.map_geom_sum₂

Modification history