Theorem Set.image_subtype_val_Icc_subset

Modification history

2023-08-03 05:30
Mathlib/Data/Set/Intervals/Image.lean
feat: add instances for intervals (#5957) …
Added Set.image_subtype_val_Icc_subsetView on Github →