Mathlib v3 is deprecated. Go to Mathlib v4

Theorem function.injective2.left'

Modification history

2022-04-03 04:50
src/logic/function/basic.lean
feat(logic/function/basic): add some more API for `injective2` (#13074) …
Added function.injective2.left'View on Github →