Theorem Function.apply_eq_of_range_eq_singleton

Modification history

2024-09-16 08:22
Mathlib/Data/Set/Function.lean
feat: missing basic API lemmas (#16842)
Added Function.apply_eq_of_range_eq_singletonView on Github →