defs.lean (#1415)

Commit

6 years ago

feat(data/list/defs): move list.sum to list/defs.lean (#1415) * feat(data/list/defs): move list.sum to list/defs.lean * add comment

References

Author

kim-em

Committer

mergify[bot]

Parents