function): Cancelling composition on a set (#10803)

Commit

4 years ago

feat(data/set/function): Cancelling composition on a set (#10803) A few stupid lemmas

Author

YaelDillies

Parents