Theorem Set.image_mulSingle_Icc_right

Modification history

2023-05-01 15:10

Mathlib/Data/Set/Intervals/Pi.lean

feat: `f.update i '' Icc a b = Icc (f.update i a) (f.update i b)` (#3747) …

Added Set.image_mulSingle_Icc_right View on Github →