basic): a few lemmas (#4184)

Commit

5 years ago

feat(data/set/basic): a few lemmas (#4184) Co-authored-by: mzinkevi <41597957+mzinkevi@users.noreply.github.com>

References

Author

mzinkevi

Parents