Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-06-07 19:34 b915e939

View on Github →

feat(ring_theory/subring): centralizer as a subring (#18861)

Estimated changes