Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-06-16 18:44
08dfaab8
View on Github →
docs(data/set/disjointed): add module docstring and some whitespaces (
#7957
)
Estimated changes
Modified
src/data/set/disjointed.lean
modified
def
pairwise
modified
theorem
set.Inter_lt_succ
modified
theorem
set.Union_disjointed
modified
theorem
set.Union_disjointed_of_mono
modified
theorem
set.Union_lt_succ
modified
theorem
set.disjoint_disjointed'
modified
theorem
set.disjoint_disjointed
modified
def
set.disjointed
modified
theorem
set.disjointed_induct
modified
theorem
set.disjointed_of_mono
modified
theorem
set.disjointed_subset
modified
theorem
set.subset_Union_disjointed