mathlib
43a6243f - feat(data/finset/basic): add instance `is_empty ↥∅` (#16902)

Commit

3 years ago

feat(data/finset/basic): add instance `is_empty ↥∅` (#16902)

Author

alreadydone

alreadydone

Parents

Loading