Theorem Module.map_jacobson_le

Modification history