Mathlib Changelog
v4
Changelog
About
Github
Theorem
Function.update_of_ne
Modification history
2024-12-28 23:51
Mathlib/Logic/Function/Basic.lean
chore: rename `update_same`/`update_noteq` to `update_self`/`update_of_ne` (#20302) …
Added
Function.update_of_ne
View on Github →