Mathlib v3 is deprecated. Go to Mathlib v4

Theorem set.quot_mk_range_eq

Modification history

2022-07-01 14:39

src/data/set/basic.lean

chore(data/set,topology): fix 2 lemma names (#15079) …

Deleted set.quot_mk_range_eq View on Github →

2018-01-19 16:18

data/set/basic.lean

feat(data/real,*): supporting material for metric spaces

Added set.quot_mk_range_eq View on Github →