Theorem Ring.le_comap_jacobson

Modification history