function): add lemmas about `semiconj` (#3007)

Commit

5 years ago

feat(data/set/function): add lemmas about `semiconj` (#3007) Also redefine `set.maps_to` to avoid unfolding `mem_preimage`.

References

Author

urkud

Parents