Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-03 22:57 93a15d6b

View on Github →

feat(ring_theory/subring): field structure on centers of a division_ring (#8472) I've also tidied up the subtitles. Previously there was a mix of h1 and h3s, I've made them all h2s.

Estimated changes