Theorem Function.not_injective

Modification history

2024-03-29 19:17
Mathlib/Logic/Function/Basic.lean
feat: `Not` is involutive (#11192)
Added Function.not_injectiveView on Github →