mathlib
ca95726e - feat(algebra/free) additive versions, docs. (#2755)

Commit

5 years ago

feat(algebra/free) additive versions, docs. (#2755) https://github.com/leanprover-community/mathlib/issues/930

Author

kckennylau

Parents