function): `∘` lemmas (#17819)

Commit

2 years ago

feat(data/set/function): `∘` lemmas (#17819) A few lemmas about `inj_on`/`surj_on`/`bij_on` and `∘`.

Author

YaelDillies

Parents