Theorem Set.image_mulSingle_Icc_left

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