Theorem Module.comap_jacobson_of_ker_le

Modification history