Theorem Function.update_self

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_selfView on Github →