mathlib

c71e67a9 - feat(ring_theory/jacobson): definition of Jacobson rings (#3404)