Theorem Function.update_ne_self_iff

Modification history

2022-11-10 23:55
Mathlib/Logic/Function/Basic.lean
feat(Logic/Function/Basic): `update_eq_self_iff` (#558) …
Added Function.update_ne_self_iffView on Github →