Theorem Module.le_comap_jacobson

Modification history