Locally injective function

Summary