Commit 2023-01-06 19:49 67f36267
View on Github →feat(data/set/function): ∘
lemmas (#17819)
A few lemmas about inj_on
/surj_on
/bij_on
and ∘
.
feat(data/set/function): ∘
lemmas (#17819)
A few lemmas about inj_on
/surj_on
/bij_on
and ∘
.