basic): use `has_coe_t` for coercion of `finset` to `set` (#4917)

Commit

5 years ago

chore(data/finset/basic): use `has_coe_t` for coercion of `finset` to `set` (#4917)

Author

urkud

Parents