Theorem Ring.jacobson_quotient_jacobson

Modification history