Theorem Module.jacobson_quotient_jacobson

Modification history