Theorem Module.comap_jacobson_of_bijective

Modification history