Theorem Set.image_subtype_val_Icc

Modification history

2023-10-30 08:37
Mathlib/Data/Set/Intervals/OrdConnected.lean
feat(Data/Set): images of intervals under `Subtype.val` (#7653) …
Added Set.image_subtype_val_IccView on Github →