Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2020-06-05 05:31
2131382b
View on Github →
feat(data/setoid/partition): some lemmas about partitions (
#2937
)
Estimated changes
Modified
src/data/setoid/partition.lean
added
theorem
setoid.is_partition.pairwise_disjoint
added
theorem
setoid.is_partition.sUnion_eq_univ
added
theorem
setoid.is_partition_classes