Theorem Ring.map_jacobson_le

Modification history