Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Icc_prod_eq

Modification history

2021-10-24 03:33
src/data/set/intervals/basic.lean
chore(topology): generalize `real.image_Icc` etc (#9784) …
Added set.Icc_prod_eqView on Github →