Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-12-20 08:12 f7697ce3

View on Github →

feat(data/equiv/algebra): ring_equiv (#533)

Estimated changes

added structure ring_equiv