Theorem Set.image_coe_eq_domRestrict_image

Modification history

2026-07-20 01:34
Mathlib/Data/Set/Functor.lean
refactor: rename restrict to domRestrict (#25980) …
Added Set.image_coe_eq_domRestrict_imageView on Github →