Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-10-10 03:01 1daf4a81

View on Github →

fix(data/set/lattice): fixing simp lemmas for set monad

Estimated changes

modified theorem set.fmap_eq_image
modified theorem set.mem_seq_iff
modified theorem set.pure_def
modified theorem set.seq_eq_set_seq