Theorem Ring.map_jacobson_of_ker_le

Modification history