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
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