Mathlib v3 is deprecated. Go to Mathlib v4

Theorem pairwise_subtype_iff_pairwise_set

Modification history

2022-11-06 07:48
src/data/set/pairwise.lean
refactor(data/set/pairwise): use `{{..}}` arguments (#17230)
Modified pairwise_subtype_iff_pairwise_setView on Github →
2021-11-05 06:48
src/data/set/pairwise.lean
feat(measure_theory/covering/vitali_family): define Vitali families (#10057) …
Added pairwise_subtype_iff_pairwise_setView on Github →