Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2022-03-03 07:35
9f721bab
View on Github →
chore(logic/function/basic): add function.ne_iff (
#12288
)
Estimated changes
Modified
src/data/fun_like/basic.lean
added
theorem
fun_like.ne_iff
Modified
src/logic/function/basic.lean
modified
theorem
function.funext_iff
added
theorem
function.ne_iff