Mathlib Changelog
v3
Changelog
About
Github
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
data/set/lattice.lean
modified
theorem
set.fmap_eq_image
modified
theorem
set.mem_seq_iff
modified
theorem
set.pure_def
modified
theorem
set.seq_eq_set_seq