Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-04-19 09:07 184e0fe4

View on Github →

fix(equiv/ring): fix bad typeclasses on ring_equiv.trans_apply (#7258) ring_equiv.trans had weaker typeclasses than the lemma which unfolds it.

Estimated changes