Commit 2019-12-05 01:31 324ae4b1
View on Github →feat(data/set/basic): define set.nonempty
(#1779)
- Define
set.nonempty
and prove some basic lemmas - Migrate
well_founded.min
toset.nonempty
- Fix a docstring and a few names Based on comments in PR
- More docs
- Linebreaks
- +2 docstrings
- Fix compile
- Fix compile of
archive/imo1988_q6