Theorem Module.map_jacobson_of_bijective

Modification history