Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-28 14:01 84bbb00f

View on Github →

feat(data/set/intervals): add order_iso.image_Ixx lemmas (#9404)

Estimated changes

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

added theorem order_iso.image_Icc

added theorem order_iso.image_Ici

added theorem order_iso.image_Ico

added theorem order_iso.image_Iic

added theorem order_iso.image_Iio

added theorem order_iso.image_Ioc

added theorem order_iso.image_Ioi

added theorem order_iso.image_Ioo