function): Extend `update_comp` lemmas to work on dependent functions (#5178)

Commit

5 years ago

feat(data/set/function): Extend `update_comp` lemmas to work on dependent functions (#5178) Also extends them to `Sort`

Author

eric-wieser

Parents