locally injective function

Stream: new members

[Alena Gusakov]

Hi, I just have a question about best practices - if I wanted to say that a function is locally injective on a specific subset of the domain, what's the recommended way to go about it? I figure I can just write a Prop definition for it but I want to make sure I'm not missing out on useful API that way. Thanks!

[Sebastien Gouezel]

docs#set.inj_on