## Stream: Is there code for X?

### Topic: function.injective_of_left_inverse

#### Bhavik Mehta (May 16 2020 at 17:21):

function.injective_of_left_inverse disappeared, what do I use to replace this instead? (In particular I have an equivalence and I want that its components are injections)

#### Bhavik Mehta (May 16 2020 at 17:34):

Solved: .injective

Last updated: May 16 2021 at 05:21 UTC