Commit 2024-06-09 17:38 b02cb781
View on Github →feat(Data/Set/Function): lemmas about inj/bij/surjectivity (#12555)
This PR adds a few API lemmas about InjOn
, BijOn
and SurjOn
.
feat(Data/Set/Function): lemmas about inj/bij/surjectivity (#12555)
This PR adds a few API lemmas about InjOn
, BijOn
and SurjOn
.