Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-07-20 18:50 93419b38

View on Github →

chore(data/equiv/algebra): add ring.to_mul/add_equiv, DRY (#1247)

Estimated changes