Theorem Module.map_jacobson_of_ker_le

Modification history