Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.Icc_inter_Icc_eq_singleton

Modification history

2020-02-04 22:11

src/data/set/intervals/basic.lean

feat(data/set/intervals): define intervals and prove basic properties (#1949) …

Added set.Icc_inter_Icc_eq_singleton View on Github →