Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-18 01:46 77dc6794

View on Github →

chore(data/set/intervals): more lemmas (#4662)

Estimated changes

Modified src/data/set/intervals/basic.lean

added theorem set.Icc_bot

added theorem set.Icc_top

modified theorem set.Ici_bot

modified theorem set.Ici_top

added theorem set.Ico_bot

added theorem set.Ico_subset_Ici_self

added theorem set.Ico_union_right

added theorem set.Iic_bot

added theorem set.Iic_top

added theorem set.Ioc_subset_Iic_self

added theorem set.Ioc_top

added theorem set.Ioc_union_left

added theorem set.Ioo_union_left

added theorem set.Ioo_union_right