Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-30 16:47 9921fe71

View on Github →

fix(ring_theory/algebra): Fix typo "algbera" (#4337) Introduced in e57fc3d6c142835dc8566aa28e812f7688f14512

Estimated changes