Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pairwise_disjoint.mono

Modification history

2022-01-18 12:22
src/data/set/pairwise.lean
feat(data/set): two simple lemmas (#11531)
Added pairwise_disjoint.monoView on Github →