Def Function.injective2

Modification history

2022-10-24 23:24

Mathlib/Logic/Function/Basic.lean

chore: capitalise Injective (#501) …

Deleted Function.injective2 View on Github →

2021-07-27 17:57

Mathlib/Logic/Function/Basic.lean

feat(Logic/Function/Basic) port most remaining items (#26) …

Added Function.injective2 View on Github →