Commit 2020-05-28 11:54 ca95726e
View on Github →feat(algebra/free) additive versions, docs. (#2755) https://github.com/leanprover-community/mathlib/issues/930
feat(algebra/free) additive versions, docs. (#2755) https://github.com/leanprover-community/mathlib/issues/930