Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2017-12-05 18:13 0e3b1567

View on Github →

fix(algebra/module): remove instance endomorphism_ring, it breaks real.lean

Estimated changes