Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-20 17:49 3ba4e827

View on Github →

feat(data/set/finite): finite_subset_Union, disjoint_mono

Estimated changes

Modified data/set/finite.lean

added theorem set.finite_range

added theorem set.finite_subset_Union

Modified data/set/lattice.lean

added theorem disjoint_mono

added theorem disjoint_mono_left

added theorem disjoint_mono_right