one_sided): Add bundled one-sided inverses
#5829

Open

feat(data/equiv/one_sided): Add bundled one-sided inverses #5829

eric-wieser wants to merge 2 commits into master from eric-wieser/injection-surjection

feat(data/equiv/one_sided): Add bundled one-sided inverses

257eefa8

eric-wieser added RFC

pechersky commented on 2021-01-21

b-mehta commented on 2021-01-21

feat(*): Add surjective -> surjection

7cfbe063

github-actions added merge-conflict

kim-em added too-late

Reviewers

kim-em

b-mehta

pechersky

Assignees

No one assigned

Labels

RFC merge-conflict too-late

Milestone

No milestone