Mathlib Changelog
v4
Changelog
About
Github
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