basic): add fintype instance for `is_empty` (#7692)

Commit

4 years ago

chore(data/fintype/basic): add fintype instance for `is_empty` (#7692) Co-authored-by: Eric <37984851+ericrbg@users.noreply.github.com>

Author

ericrbg

Parents