Theorem Ring.jacobson_quotient_of_le

Modification history