finite): explicit `f` in `finset.preimage s f hf` (#3851)

Commit

5 years ago

chore(data/set/finite): explicit `f` in `finset.preimage s f hf` (#3851) Otherwise pretty printer shows just `finset.preimage s _`.

References

Author

urkud

Parents