Theorem Pairwise.disjoint_extend_bot

Modification history

2024-09-16 23:59
Mathlib/Data/Set/Pairwise/Basic.lean
chore(VectorMeasure): drop `T2Space` assumption here and there (#16832)
Added Pairwise.disjoint_extend_botView on Github →