Stream: Is there code for X?
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):
Last updated: May 16 2021 at 05:21 UTC