Theorem RingHom.locally_propertyIsLocal

Modification history