Theorem Function.partialInv_of_injective

Modification history

2026-03-17 12:17
Mathlib/Logic/Function/Basic.lean
feat: more API for Function.IsPartialInv (#36471) …
Deleted Function.partialInv_of_injectiveView on Github →
2022-11-13 23:57
Mathlib/Logic/Function/Basic.lean
chore: renaming and alignment for various definitions and lemmas (#572)
Added Function.partialInv_of_injectiveView on Github →