Commit 2024-03-29 19:17 160fb23c

View on Github →

feat: Not is involutive (#11192)

Estimated changes

Modified Mathlib/Logic/Function/Basic.lean

added theorem Function.not_bijective

added theorem Function.not_injective

added theorem Function.not_involutive

added theorem Function.not_surjective