Theorem Ring.coe_jacobson_quotient

Modification history