finite): make `finite` argument of `set.finite.mem_to_finset` explicit (#6508)

Commit

4 years ago

refactor(data/set/finite): make `finite` argument of `set.finite.mem_to_finset` explicit (#6508) This way we can use dot notation.

Author

urkud

Parents