Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-16 18:50 7db9e13b

View on Github →

feat(data/monoid_algebra): ext lemma (#4162) A small lemma that was useful in the Witt vector project. Co-authored by: Johan Commelin johan@commelin.net

Estimated changes