function.injective_of_left_inverse

Stream: Is there code for X?

[Bhavik Mehta]

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]

Solved: .injective