basic): more lemmas about `set.nonempty` (#1780)

Commit

6 years ago

feat(data/set/basic): more lemmas about `set.nonempty` (#1780) * feat(data/set/basic): more lemmas about `set.nonempty` * Fix compile

References

Author

urkud

Committer

mergify[bot]

Parents