Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-26 07:55 a02f11fa

View on Github →

feat(algebra/ring/equiv): generalize ring_equiv material to allow for non-unital rings (#13626)

Estimated changes